A p-adic measure gives the compatible finite-quotient elements ${\sum }_{gU}\mu (gU)[gU]\in I[G/U]$. The transition maps sum coefficients over fibers. Conversely compatible coefficients define values on cosets, then all clopen sets, and hence integration. Thus the inverse limit Iwasawa algebra is the ring of measures, with multiplication given by convolution of p-adic measures. Completeness of $I$ suffices even when its residue field is infinite.

For an L2-bounded continuous martingale and ordered possibly infinite stopping times $\sigma \le \tau$, interpret the terminal stopped value as $M_{\infty }$. The Doob L2 maximal inequality bounds the expected squared path supremum. Localization of $M^2-[M]$ then gives $\mathbb{E}[M{]}_{\infty }<\infty$, so this square-minus-bracket local martingale has integrable supremum and is uniformly integrable. Apply the optional stopping theorem to it and to $M$. Expanding $(M_{\tau }-M_{\sigma }{)}^2$ makes the cross term vanish conditionally, proving the identity. Bounded ${\mathcal{F}}_{\sigma }$-measurable factors can be multiplied into either side.

The Cauchy-Schwarz inequality and Jensen inequality give the displayed estimate, with $C=(\mathbb{E}|N{|}^{-1/2}{)}^{1/2}<\infty$. No independence between $R_{\epsilon }$ and $B_{\epsilon }$ is required. If $R_{\epsilon }={\int }_0^{\epsilon }(H_s-H_0)d{B}_s$ for a bounded continuous adapted process, the Itô isometry and the dominated convergence theorem make the right side tend to zero. Time shifting proves recovery of $H_t$ in probability from the ratio of a short stochastic integral to its Brownian increment.

For a zero-starting L2-bounded continuous martingale $M$, the space $L^2(M)$ consists of predictable $H$ with $\mathbb{E}{\int }_0^{\infty }{H}_s^{2}d[M{]}_s<\infty$, identifying processes equal almost everywhere for the quadratic-variation measure. The finite-horizon version stops the integral at $T$. The Itô integral is the isometric extension from elementary predictable integrands.

// Target: probability-and-statistics.bigb

For deterministic square-integrable $h$, approximate by step functions. Their Itô integrals are sums of independent normal Brownian increments. The Itô isometry gives convergence in $L^2$, and the variances converge to $\int h^2$; convergence of characteristic functions proves the normal limit. Each linear combination of finitely many such integrals is another deterministic stochastic integral, so they are jointly Gaussian.

For deterministic $X_0=x$ and bounded continuous drift and volatility, the initial right derivative of the mean is $b(x)$ and that of the variance is $\sigma (x{)}^2$. The stochastic integral has mean zero and second moment ${\int }_0^t\mathbb{E}\sigma (X_s{)}^{2}ds$; the bounded drift contributes only higher-order terms to the variance.

// Target: probability-and-statistics.bigb

The Itô formula identifies the operator of an SDE with drift $b$ and noise vector fields ${\sigma }_k$ as the displayed second-order operator. With bounded measurable coefficients, every solution satisfies the true martingale identity for $C_b^2$ test functions, hence is an L-diffusion in the martingale-problem sense.

// Target: probability-and-statistics.bigb

Couple $d{X}_t^{\epsilon }=b(X_t^{\epsilon })dt+\epsilon d{W}_t$ with ${\dot{x}}_t=b(x_t)$ and the same initial value. If $b$ has Lipschitz constant $L$, the Gronwall inequality gives ${\sup }_{s\le t}|X_s^{\epsilon }-x_s|\le \epsilon e^{Lt}{\sup }_{s\le t}|W_s|$. Applying the Gaussian maximal bound for Brownian motion coordinatewise in dimension $d$ bounds the deviation probability by $2d\exp [-{\delta }^2{e}^{-2Lt}/(2dt{\epsilon }^2)]$ for $t>0$. Matching initial values is essential.

For a centered scalar normal random variable of variance $v$, the Isserlis theorem sums complete pairings of $2n$ factors. The first factor has $2n-1$ partners, then $2n-3$ choices remain for the first unpaired factor, giving $(2n-1)!!=(2n)!/(2^{n}n!)$. Odd moments vanish. Summing the moment-generating function gives $\exp (v{s}^2/2)$. This is a scalar formula, not a formula for the length of a vector.

Boyle's law states that a fixed amount of substance of an ideal gas at constant absolute thermodynamic temperature has constant product of absolute pressure and total volume:Here $p$ is measured relative to a vacuum, not relative to the surrounding atmospheric pressure. Halving the volume doubles the absolute pressure; doubling the volume halves it. A real gas approximately follows Boyle's law when it is sufficiently dilute and far from a phase transition.^[ref]

For an original calculated example, suppose a sealed gas sample has $p_1=100\mathrm{kPa}$ and $V_1=100\mathrm{c}{\mathrm{m}}^3$. After isothermal compression to $V_2=50\mathrm{c}{\mathrm{m}}^3$,Both states have $C=10000\mathrm{kPa}\mathrm{c}{\mathrm{m}}^3=10\mathrm{J}$, since $1\mathrm{kPa}\mathrm{c}{\mathrm{m}}^3=10^{-3}\mathrm{J}$. The volume ratio is dimensionless, so using the same volume units in numerator and denominator leaves the pressure in kilopascals. Although $pV$ has units of energy, its value is not the compression work: isothermal ideal-gas work involves an integral along the path.

The blue curves show calculated ideal gas states, not measurements. The left panel is a branch of a hyperbola; the right panel plots exactly the same absolute pressures against $1/V$. The dashed line uses gauge pressure with a stipulated constant atmospheric pressure of $100\mathrm{kPa}$. Its displaced intercept explains why absolute pressure in Boyle's law matters.

A short derivation starts from the ideal gas law, $pV=nRT$. Fixing the amount of substance $n$ and absolute thermodynamic temperature $T$ fixes $C=nRT$, where $R$ is the molar gas constant. The microscopic picture in ideal gas pressure from wall collisions is equally appealing: at fixed temperature, the typical particle kinetic energy stays fixed, while compression increases the number density and wall momentum transfer per unit surface area and time. A larger absolute pressure follows without requiring hotter particles.

The constraints are essential. A leak changes the amount of substance. Rapid compression can raise the temperature before heat transfer restores thermal equilibrium, as in the isothermal gas syringe experiment. Molecular size and interactions in a dense real gas invalidate the ideal gas approximation; the Van der Waals equation describes one such correction. Equal endpoint temperatures allow an endpoint test of Boyle's law, but do not establish that every intervening state lies on an isothermal process.

For fixed mass $m$, mass density satisfies $\rho =m/V=mp/C$, so it is proportional to absolute pressure. In a dilute bubbly flow, Boyle's law allows bubble volume and its contribution to buoyancy to increase as hydrostatic pressure decreases, provided gas mass is retained, dissolution is negligible, and the temperature stays approximately fixed. Its usefulness is that a simple ratio predicts a substantial size change without tracking individual molecules.

Why must a conducting piston move slowly? A simple model couples the first law of thermodynamics to Newton's law of cooling. Assume a fixed amount of ideal gas with uniform temperature $T(t)$ and constant whole-sample heat capacity at constant volume $C_V$, a heat bath maintained at $T_b$, negligible friction, and mechanically slow motion. Let $G>0$ be the effective thermal conductance, the reciprocal of the thermal resistance, in $\mathrm{W}{\mathrm{K}}^{-1}$. ThenPositive heat transfer must offset expansion work to keep $T$ near $T_b$. A finite $G$ and nonzero piston speed therefore require a temperature difference. This uniform-temperature model neglects spatial temperature gradients, sensor response, cylinder heat capacity and any change of $G$ with piston position; it is an illustrative calculation, not a fit to the isothermal gas syringe experiment.

For a prescribed exponential volume change $V=V_i{e}^{\lambda t}$, define $\tau =C_V/G$, $s=t/\tau$ and $ϵ=nR\lambda /G$. The dimensionless temperature $\theta =T/T_b$ obeys a linear ordinary differential equation with initial value $\theta (0)=1$:The plotted expansion uses stipulated $C_V=(5/2)nR$ and stops at $V_f=2V_i$, at $s_f=\ln 2/[(5/2)ϵ]$. During expansion, the larger $ϵ$ produces the larger temperature deficit; once the piston is held fixed, the deficit undergoes exponential decay as $e^{-(s-s_f)}$. Reducing $|ϵ|$ makes the path more nearly an isothermal process, while increasing its duration. Reversing the piston with $\lambda <0$ produces a temperature excess and outward heat transfer; the small-$|ϵ|$ regime is the intended near-isothermal approximation. Mechanical slowness alone does not ensure sufficient heat transfer.

For a reversible thermodynamic process that changes the volume of a fixed amount of ideal gas at absolute temperature $T$, the work done by the gas isHere $n$ is the amount of substance, $R$ the molar gas constant, $p$ the pressure, and $\ln$ the natural logarithm. The ideal gas law supplies $p=nRT/V$; the integral is the signed area under the pressure-volume curve. Isothermal expansion gives positive work; isothermal compression gives negative work. A convention counting work done on the gas instead has $W_{\mathrm{on}}=-W_{\mathrm{by}}$.^[ref]

For a calculated example, let $n=1\mathrm{mol}$, $T=300\mathrm{K}$ and $V_i=10\mathrm{L}$, $V_f=20\mathrm{L}$. The pressure falls from approximately $249.4$ to $124.7\mathrm{kPa}$, andTraversing the same isothermal process backward changes both transfer signs: $W_{\mathrm{by},\mathrm{rev}}=Q\approx -1.729\mathrm{kJ}$. Neither direction changes internal energy of an ideal gas. These stipulated values illustrate the energy balance; they are not experimental measurements.

The shaded geometric area is positive in both panels; the direction of the integral supplies the sign of work. Knowing only the two equilibrium endpoints does not justify shading this curve for an irreversible process. For an idealized piston moving against a specified external resisting pressure, boundary work is $W_{\mathrm{by}}=\int p_{\mathrm{ext}}dV$. Substitution of the equilibrium gas pressure requires the appropriate reversible limit. In free expansion into vacuum, $p_{\mathrm{ext}}=0$ and this boundary work is zero.

With positive ladder coefficients, the second-axis half-turn is $e^{-i\pi I_2}|I,M⟩=(-1{)}^{I-M}|I,-M⟩$. Conjugation sends $I_{\pm }$ to $-I_{\mp }$, making consecutive phases differ by a minus sign. The highest-state rotation formula, expanded through its last nonzero lowering term, fixes the highest-state phase to one.

An isospin-invariant decay amplitude is an intertwining map from the initial isospin multiplet into the final tensor product. The Clebsch-Gordan decomposition for SU2 contains each allowed final isospin once. Commutation with the third generator and the quadratic Casimir operator places the image in the matching coupled state. Commutation with the ladder operators makes its scalar coefficient independent of the magnetic component. Orthogonality of the Clebsch-Gordan coefficients then gives a summed squared amplitude $|a{|}^2$. A physical decay rate additionally includes phase space and spin sums, which can be absorbed into a common reduced coefficient when exact isospin symmetry makes them identical between channels.

A finite group presentation has a recursive upper bound on its Dehn function exactly when its word problem for a group is decidable. If the maximal relator length is $\ell$ and a word has length $n$, a diagram of area at most $N$ can be chosen with at most $\ell N+n$ edges. Enumerating all finite labelled planar diagrams within that bound gives a terminating test. Conversely, a word decider identifies the finitely many null words of length at most $n$; exhaustive finite diagram searches find their minimal areas, whose maximum computes the Dehn function.

Every subset of ${\mathbb{N}}^d$ has finitely many coordinatewise minimal elements. Equivalently, ${\mathbb{N}}^d$ has no infinite antichain in its coordinatewise partial order.

The IP-star sets form a proper filter on a set over the positive integers. Indeed, sets that are not IP sets are closed under taking subsets. They are also closed under finite unions, because the partition regularity of IP sets would otherwise put an IP set in one of the union's constituent sets. Taking complements gives upward closure and closure under finite intersections for the IP-star sets. The full set belongs to this filter and the empty set does not.

For terminal logarithmic utility $a\log V_T$ and running logarithmic utility $b\log c_t$, with $a,b,w_0>0$, constant Black-Scholes model coefficients give $\lambda =(a+bT)/w_0$ and $V_t=[a+b(T-t)]/(\lambda {\xi }_t)$, where $\xi$ is the state-price density. The optimal terminal wealth and consumption are $a/(\lambda {\xi }_T)$ and $b/(\lambda {\xi }_t)$. Their discounted budget adds to $(a+bT)/\lambda =w_0$. The concave supporting-tangent inequality, integrated over time, proves optimality; the Itô formula gives the displayed dollar stock holding. The time-dependent consumption-to-wealth ratio reflects both remaining consumption opportunities and the terminal utility weight.

For constant relative risk aversion utility with parameter $\gamma >0$, terminal weight $\eta >0$ and utility discount rate $\delta$, in a Black-Scholes model put $\lambda =(\mu -r)/\sigma$, $k=[\delta +(\gamma -1)(r+{\lambda }^2/(2\gamma ))]/\gamma$ and $b(\tau )={\int }_0^{\tau }{e}^{-ks}ds+{\eta }^{1/\gamma }{e}^{-k\tau }$. The displayed optimal consumption and dollar stock position follow by inverse marginal utility and the state-price budget constraint. For $\gamma \ne 1$ the value is $b(T-t{)}^{\gamma }{W}_t^{1-\gamma }/(1-\gamma )$ with discount measured from $t$. Finite horizons do not require $k>0$. The concave supporting-tangent inequality and replication of the optimal budget prove global optimality, rather than only a formal differential-equation solution.

For the inverse Gaussian sum closure, take $x=s/n>0$. The saddle solves $\hat{t}=(\varphi -\lambda /x^2)/2$, and $K^{\prime \prime }(\hat{t})=x^3/\lambda$. Substitution in the saddlepoint density approximation givesThis is the exact sum density, so its leading saddlepoint expression needs no correction or renormalization.