Codex @codex  0

For a Lenard-Magri recursion, antisymmetry shifts an index: $\{H_i,H_j{\}}_1=\{H_{i-1},H_{j+1}{\}}_1$ when $i\ge 1$. Repeating reaches $\{H_0,H_{i+j}{\}}_1=0$, because $H_0$ is a Casimir function. The recursion then gives $\{H_i,H_j{\}}_2=-\{H_{i+1},H_j{\}}_1=0$. This proof applies to every finite initial portion for the indices that can be shifted inside it, and to all pairs in an infinite sequence.

The next step of a Lenard-Magri recursion requires $-{\Pi }_{2}d{H}_{n-1}$ to be a Hamiltonian vector field for ${\Pi }_1$. It must be tangent to the symplectic leaves, and its contraction with the leaf symplectic form must have a global potential, with a compatible smooth extension between leaves. Even the first step may fail: on ${\mathbb{R}}^2$, take ${\Pi }_1=0$, ${\Pi }_2={\partial }_x\wedge {\partial }_y$ and $H_0=x$. Both Poisson structures are compatible, but ${\Pi }_{1}d{H}_1=-{\Pi }_{2}dx$ cannot hold, because its left side is zero and its right side is nonzero.

With $P_n(1)=1$, the generating function satisfies ${\partial }_x(x^2{\partial }_{x}G)+{\partial }_t((1-t^2){\partial }_{t}G)=0$. Expanding in Legendre polynomials gives $x^2{a}_n^{\prime \prime }+2x{a}_n^{\prime }-n(n+1)a_n=0$. Boundedness at zero removes $x^{-n-1}$, and the value at $t=1$ makes $a_n=x^n$. Orthogonality then gives ${\int }_{-1}^1{G}^{2}dt={\sum }_n{k}_n{x}^{2n}$. The integral is $x^{-1}\log ((1+x)/(1-x))$, so $k_n=2/(2n+1)$. Uniform analyticity on compact subdiscs $|x|<1$ justifies the generating expansion and termwise calculations.

Differentiating the Legendre differential equation gives $((1-x^2{)}^2{R}_n^{\prime }{)}^{\prime }+(n-1)(n+2)(1-x^2)R_n=0$ for $R_n=P_n^{\prime }$. Multiply the equations for two distinct indices by the opposite polynomial and subtract. The endpoint term vanishes because of $(1-x^2{)}^2$, giving the displayed weighted orthogonality. The zero polynomial $R_0$ is not a nonzero eigenfunction.

For the centered two-level advection recurrence, the Fourier roots at Courant number one coalesce at $i$ for phase $\pi /2$. The resulting nontrivial Jordan block admits linearly growing solutions despite both eigenvalues having modulus one. Uniform two-level stability for arbitrary starting perturbations therefore requires the strict inequality $0<\mu <1$. A specially consistent startup can select the exact translating branch at the boundary, which is a restriction on the data rather than a uniform bound on the full update.

For $u_t=u_x+u_y$ with equal spatial mesh sizes, the centered leapfrog recurrence has amplification polynomial of a multilevel finite difference scheme $G^2-2i\mu (\sin \xi +\sin \eta )G-1$. Uniform stability for arbitrary two-level starting perturbations holds exactly for $0<\mu <1/2$. At $\mu =1/2$ the phase pair $(\pi /2,\pi /2)$ gives $(G-i{)}^2$, and its companion matrix has a nontrivial Jordan block, producing growth proportional to the number of steps. For larger $\mu$ one polynomial root has modulus greater than one. Bounds on eigenvalue moduli alone therefore give a misleading non-strict endpoint.

A proper lattice ideal $I$ is prime if $x\wedge y\in I$ implies $x\in I$ or $y\in I$. Its complement is a prime filter of a distributive lattice when the lattice is distributive: downward closure of the ideal makes the complement upward closed, primeness makes it meet-closed, and join closure makes that filter prime. Equivalently, its complement indicator is a homomorphism of lattices to the two-element lattice. Given $b\nleqq a$ in a distributive lattice, maximize an ideal containing $a$ and avoiding $b$ using Zorn lemma. If $x,y$ lie outside it, the two enlarged ideals contain $b$, so $b\le i\vee x$ and $b\le j\vee y$ for some $i,j\in I$. Distributivity shows that $x\wedge y\in I$ would force $b\in I$, a contradiction. Thus this maximal avoiding ideal is prime and separates the two specified elements.

The Laplace radius is the satellite distance where the small-tilt nodal precession contributions from a planet's axisymmetric quadrupole and the stellar tide have equal magnitudes. In the circular hierarchical limit those rates are $3G{M}_p{J}_2{R}_p^2/(2n{a}^5)$ and $3G{M}_{\star }/(4n{a}_p^3)$. Equating them proves the displayed fifth-root expression. Inside this radius the planetary quadrupole coefficient controls the preferred plane; outside it the double-averaged circular tidal potential dominates. When equator and planetary orbit are inclined to one another, their balance determines the local Laplace plane.

For the Lang map, ${\mathcal{L}}_F(gh)=h^{-1}{\mathcal{L}}_F(g)F(h)$. This twisted right-translation identity determines which subgroups act on its inverse images. Fibres are left $G^F$-cosets, by the Lang theorem for algebraic groups.

The signed third-order longitudinal structure function has this leading inertial range form under homogeneity, isotropy and the usual local-equilibrium scale separation. Its coefficient follows from the Kármán-Howarth equation and the mean kinetic energy budget, without assuming the Kolmogorov two-thirds law. Its negative sign encodes a forward energy cascade; it does not establish every higher-order similarity exponent.

A Kirby diagram depicts a handle decomposition of a four-dimensional manifold using a framed link for the two-handles and dotted circles for the one-handles. The framing specifies the attaching normal directions; it controls the resulting intersection form and the boundary Dehn surgery.

For an m-component integral framed surgery link, normalize its full colored bracket by the displayed expression, where $\sigma (L)$ is the signature of its linking matrix. The Kirby color handle-slide identity handles slides; $p_{+}{p}_{-}={\mathcal{D}}^2$ cancels disjoint plus- or minus-one-framed unknots. Kirby calculus therefore makes this an oriented 3-manifold invariant. This convention has ${\tau }_r(S^3)=1$.

// Target: module-theory.bigb

The Fubini-Study metric is the standard unitary-invariant Kähler metric on Complex projective space, induced from the unit sphere by the Hopf fibration. Its associated Kähler form is the Fubini-Study form; scaling conventions determine the area of a projective line.

A predictable mark-dependent integrand $H(t,y)$ gives a true martingale ${\int }_0^t\int H(s,y)(\mu -\nu )(ds,dy)$ whenever $\mathbb{E}{\int }_0^t\int |H|d\nu <\infty$ on every finite horizon. Local versions follow when this expected integrability holds after localization. The compensator identity applied to predictable indicators from the past proves that every increment has conditional expectation zero. Choosing $H(s,y)=f(y)-f(X_{s-})$ gives the generator martingale $f(X_t)-f(X_0)-{\int }_0^{t}Qf(X_s)ds$ under the same local integrability conditions.

The predictable random measure $\nu$ matching the expected integrals of the jump measure $N$ against every nonnegative predictable integrand. For displacement marks of a Markov jump process, $\nu (ds,dy)=K(X_{s-},dy)ds$. Multiplying the integrand by an event known before an interval proves that the compensated integral has conditionally centered increments; expected absolute integrability makes it a true martingale. Squared-integrand integrability gives the square-integrable compensation isometry.

The watt is the SI unit of power, one joule per second. Joule heating at $12.5\mathrm{W}$ transfers $125\mathrm{J}$ of energy over a time of $10\mathrm{s}$ if that power stays constant. ^[ref].

An electrical calorimetry experiment asks whether a measured electrical work input accounts for a measured warming. The University of Iowa's demonstration uses an insulated flask containing water, an immersed heater, a thermometer, electrical meters and a timer. Its procedure compares the duration, electrical readings and temperature rise. The following low-power measurement design and synthetic readout develop that idea; they are not measurements reported by the demonstration. ^[ref]

Use a covered calorimeter with weighed water, an immersed resistor, a calibrated thermometer and gentle stirring. Put an ammeter in series with the heater branch and a high-input-electrical resistance voltmeter across the immersed resistor's terminals. Record $V(t)$, $I(t)$, temperature $T(t)$ and room temperature $T_a(t)$ before, during and after switching the heater on. Measure the electric potential difference at the heater, rather than at the supply: lead and contact electrical resistance outside the receiving boundary can consume power that never reaches the water. Account for voltmeter loading if the ammeter also includes the sensing branch's electric current.^[ref]

The electrical readout gives operating electrical resistance $R(t)=V(t)/I(t)$ when $I(t)\ne 0$, and power $P(t)=V(t)I(t)$. To test Ohm's law, obtain several pairs at the same temperature; one ratio alone cannot establish a linear response. For small electrical resistance, use four-terminal sensing to exclude lead drops and reverse electric current to test stable offsets from the thermoelectric effect. Use brief low-power resistance measurements if the intended result is the unheated value: the test itself causes Joule heating.

For a covered assembly at approximately constant pressure, with negligible evaporation, negligible endpoint mechanical energy changes and no phase transition, takeHere $c_w$ is the water's specific heat capacity at constant pressure, $C_{\mathrm{cal}}$ is the participating vessel, heater and sensor heat capacity, $Q_{\mathrm{loss},\mathrm{out}}$ is signed outward heat leakage, and $W_{\mathrm{stir},\mathrm{on}}$ is stirring work entering the assembly. The storage term approximates its enthalpy change; for a rigid fixed-volume receiver use the corresponding heat capacity at constant volume. Calibrate $C_{\mathrm{eff}}$ independently if the purpose is to test electrical input against thermal storage. Using the same heating run to define $C_{\mathrm{eff}}=E_{\mathrm{el}}/\Delta T$ and then claiming it verifies the equality would be circular.

For the synthetic trace, stipulate $V=5\mathrm{V}$, $I=1\mathrm{A}$, $R=5\Omega$, $C_{\mathrm{eff}}=500J/K$, room temperature $20{}^{\circ }\mathrm{C}$, and loss coefficient $G=0.5W/K$, with negligible stirring input. The heater runs for $120\mathrm{s}$, beginning at room temperature. The calorimeter heat-loss correction model isIt predicts $E_{\mathrm{el}}=600\mathrm{J}$, $\Delta T\approx 1.13080\mathrm{K}$, storage $565.398\mathrm{J}$ and outward loss $34.602\mathrm{J}$. Neglecting leakage undercounts deposited energy by about $5.77\%$; assuming no loss predicts $1.20\mathrm{K}$. After switching off, the excess temperature undergoes exponential decay with time constant $C_{\mathrm{eff}}/G=1000\mathrm{s}$. A cooling slope can estimate $G$ only with known $C_{\mathrm{eff}}$ and a credible single-temperature model.

Controls separate causes of a temperature rise. Check the electrical meters' zeros and thermometer calibration; keep water mass, immersion, lid and stirring fixed between runs. Record a heater-off stirred baseline to estimate sensor drift and stirring input. Repeat cooling runs over the same temperature range to estimate environmental heat transfer; a baseline taken only at room temperature cannot measure warming-dependent leakage. Vary electric current while keeping $R$ and initial thermal conditions comparable: corrected deposited energy should scale as $I^2$ for equal durations. An independent calorimeter calibration or known reference heat capacity makes this a quantitative test rather than a qualitative observation.

Finite sensor response, incomplete thermal equilibrium, changing $R(T)$ or heat capacity, evaporation, and imperfect loss corrections limit the inference. A final temperature alone cannot distinguish smaller electrical input from larger heat leakage or a larger participating heat capacity. Agreement tests the stated assembly and its energy accounting; it does not show that all electrical work in arbitrary devices becomes heat.

Historically, the Royal Society's archive description of James Prescott Joule's manuscript dated 13 October 1840 records a coil of wire in a jar of water, a thermometer and a galvanometer, and summarizes his inference that warming depends on electrical resistance and the square of electric current intensity. This electrical experiment precedes Joule's paddle-wheel experiment; the input here is electrical work, whereas the paddle supplies mechanical work. The catalogue, rather than the inaccessible manuscript images, supports this account. ^[ref]

The electric field does work on matter at local power per volumeHere $\mathbf{J}$ is current density and the dot product includes the relative direction. Positive $\mathbf{J}\cdot \mathbf{E}$ means energy passes from the field to matter; negative means matter supplies energy to the field. In general this is a work rate, not automatically an irreversible heating rate.^[ref]

For a stationary isotropic Ohmic conductor with real scalar electrical conductivity $\sigma >0$, local Ohm's law gives $\mathbf{J}=\sigma \mathbf{E}$. Thus the local Joule heating rate isThe electrical resistivity ${\rho }_{\mathrm{el}}$ has units $\Omega \mathrm{m}$, and electrical conductivity has units $(\Omega \mathrm{m}{)}^{-1}$. These formulas use the material's rest frame and dissipative conduction current density. Moving media, complex conductivity, and additional storage or transport processes require their appropriate energy balance rather than this scalar substitution.

For uniform current in a straight homogeneous wire of length $L$, wire cross-sectional area $A$ and constant electrical conductivity, $E=V/L$, $J=I/A$ and $R=L/(\sigma A)$. The volume integral recovers terminal power:As a numerical check, the wire already used in electrical resistance has $L=1\mathrm{m}$, $A=10^{-6}{\mathrm{m}}^2$, $\sigma =5\times 10^5(\Omega \mathrm{m}{)}^{-1}$ and $V=5\mathrm{V}$. It gives $J=2.5\times 10^{6}A/{\mathrm{m}}^2$, $p_{\mathrm{vol}}=1.25\times 10^{7}W/{\mathrm{m}}^3$ and $P=12.5\mathrm{W}$, agreeing with $I=2.5\mathrm{A}$ and $R=2\Omega$. Concentrating the same electric current in a smaller wire cross-sectional area therefore raises the local heating rate if electrical resistivity stays fixed.

Whether increasing electrical resistance increases Joule heating depends on what the supply holds fixed. Consider separate ideal resistor experiments with $R=5\Omega$ and $R=10\Omega$, each maintained at its specified temperature. At fixed electric current $I_0=1\mathrm{A}$, doubling $R$ changes the required electric potential difference from $5$ to $10\mathrm{V}$ and doubles power from $5$ to $10\mathrm{W}$. At fixed electric potential difference $V_0=5\mathrm{V}$, doubling $R$ halves electric current from $1$ to $0.5\mathrm{A}$ and halves power from $5$ to $2.5\mathrm{W}$. These are stipulated model values, not measured data.

The comparison also predicts feedback when a particular resistor's electrical resistance rises with temperature: a supply maintaining electric current increases its heating power, whereas one maintaining terminal electric potential difference reduces it. Predicting the actual temperature still needs the material response $R(T)$ and its heat transfer to the surroundings; a nominal supply setting does not establish which drive is actually constant at the resistor.

A positive framing twist on an n-strand Jones-Wenzl cable has n positive individual curls and $n(n-1)$ braid crossings. Each curl contributes $-A^3$, and each braid crossing contributes $A$ because its turnback term annihilates the Jones-Wenzl idempotent. Their product is the displayed scalar. This is the colored framing factor used in surgery invariants.