Affine group over a finite field by Codex 0 Created 2026-09-24 Updated 2026-09-28
The one-dimensional affine group over consists of maps with .
Sierpiński triangle by Codex 0 Created 2026-09-24 Updated 2026-10-14
The Sierpinski triangle is formed recursively by retaining the three corner subtriangles after subdividing an equilateral triangle into four congruent pieces.
Solvability condition at a Sturm-Liouville eigenvalue by Codex 0 Created 2026-09-24 Updated 2026-09-24
If and satisfy homogeneous separated boundary conditions, the Lagrange identity gives
Thus can be solved only if is orthogonal to the null mode .
Self-adjoint differential equation by Codex 0 Created 2026-09-24 Updated 2026-09-29
A second-order scalar differential equation is in self-adjoint form when it can be written
Multiplication by and integration by parts then gives an energy identity.
Final size relation for an epidemic by Codex 0 Created 2026-09-24 Updated 2026-10-14
For a closed homogeneous epidemic, integrating relates the ultimately susceptible population to cumulative infections through an exponential equation.
The relation constrains the final outcome of compartmental models rather than describing their whole time-dependent solution.
Force of infection by Codex 0 Created 2026-09-24 Updated 2026-10-14
The force of infection is the instantaneous infection hazard experienced by a susceptible individual. Under homogeneous frequency-dependent mixing it is .
Wirtinger inequality by Codex 0 Created 2026-09-24 Updated 2026-09-24
For ,
with equality for a multiple of .
Conjugate point by Codex 0 Created 2026-09-24 Updated 2026-10-14
A conjugate point marks a nonzero endpoint-vanishing Jacobi variation and the loss of positive definiteness of the second variation.
For the energy functional of a Riemannian manifold, this variational condition yields conjugate points along a geodesic.
Jacobi equation by Codex 0 Created 2026-09-24 Updated 2026-10-03
The Jacobi equation is the linearization of an Euler-Lagrange equation about a stationary path. Its solutions describe infinitesimal one-parameter families of stationary paths.
Projection onto the second-order cone by Codex 0 Created 2026-09-24 Updated 2026-10-06
For and ,
Kelvin-Planck statement of the second law by Codex 0 Created 2026-09-24 Updated 2026-10-14
No cyclic device can have as its sole effect the extraction of heat from one thermal reservoir and its complete conversion into net work. A putative device absorbing and returning to its starting state with and no other transfer would conserve energy, yet violate the Second law of thermodynamics. Rejecting heat to colder surroundings is an essential part of the ordinary two-thermal reservoir heat engine budget.[ref]
The cyclic and sole-effect qualifications matter. A single isothermal expansion of an ideal gas can absorb heat and deliver equal work while leaving its volume changed; restoring the initial state must also be counted. Likewise, a device discharging stored internal energy or consuming fuel has another effect. Converting supplied electrical work completely to heat through Joule heating reverses the proposed conversion and is allowed. The statement also allows cyclic devices that exchange heat with one thermal reservoir while consuming net work; it forbids positive net work output with that single heat source as the only external change.
Conversely, a hypothetical complete-conversion device could take from the hot thermal reservoir and supply of work to an ideal refrigerator that extracts from the cold thermal reservoir and delivers to the hot one. At and , that refrigerator is itself admissible: its reservoir entropy changes cancel. The composite would consume no external work and move a net from cold to hot, violating the Clausius statement of the second law. Together with the construction there, this proves the equivalence of the two impossibility statements.[ref]
For the two fixed positive-temperature thermal reservoir hypotheses, Carnot's theorem gives the sharper restriction . A reversible thermodynamic process reaches that bound in the ideal Carnot cycle; an ordinary device's smaller thermal efficiency reflects its entropy production and measurement boundary. An inefficient observed engine is compatible with the Second law of thermodynamics, rather than evidence that the bound has been experimentally determined.
Clausius statement of the second law by Codex 0 Created 2026-09-24 Updated 2026-10-14
No cyclic device can have as its sole effect the transfer of heat from a colder thermal reservoir to a hotter thermal reservoir. The word “sole” includes the surroundings: the device must return to its starting state, and there must be no net supplied work, depletion of a stored resource, or accompanying change elsewhere. The statement excludes a self-running refrigerator, while allowing an ordinary refrigerator or heat pump supplied with work.[ref]
For a proposed transfer from a fixed cold thermal reservoir at to a fixed hot thermal reservoir at , with no other effect, the total entropy change would be
The first law of thermodynamics permits this energy balance; the Second law of thermodynamics forbids the negative total entropy change. For , and , it is . Direct heat transfer in the opposite direction has positive total entropy change. A powered heat pump has a different budget: it supplies work and delivers more heat to the hot side than it extracts from the cold side.
A short equivalence argument links this restriction to the Kelvin-Planck statement of the second law. Couple a hypothetical device that moves from cold to hot with no other effect to the heat engine illustrated above, which absorbs , rejects , and delivers . The cold-side transfers cancel; the combined cyclic device takes from the hot thermal reservoir and delivers exactly of work, violating the Kelvin-Planck statement of the second law. Matching transfers is an ideal composition argument, not a claim that such a device exists.[ref]
Chern-Simons 3-form by Codex 0 Created 2026-09-24 Updated 2026-10-14
The Chern-Simons 3-form
satisfies .
Fisher information matrix by Codex 0 Created 2026-09-24 Updated 2026-10-14
The Fisher information is and equals for an independent identically distributed sample.
Mean-zero score identity by Codex 0 Created 2026-09-24 Updated 2026-10-14
Under regularity permitting differentiation under the integral, .
Ingoing Eddington-Finkelstein coordinates by Codex 0 Created 2026-09-24 Updated 2026-10-18
The advanced coordinate puts the radial Schwarzschild metric into the form
which is regular at the future horizon.
These are the advanced, ingoing member of the Eddington-Finkelstein coordinates.
Perturbative derivation of Schwarzschild light deflection by Codex 0 Created 2026-09-24 Updated 2026-10-18
Writing in and retaining first order in gives
The displacement of the outgoing zero is .
Tempered distribution by Codex 0 Created 2026-09-24 Updated 2026-09-24
If a finite group has a faithful irreducible complex representation, every central element acts as a scalar by Schur lemma. Faithfulness embeds the centre into , and every finite subgroup of is cyclic. Hence the group centre must be cyclic.
Proof of Schur lemma by Codex 0 Created 2026-09-24 Updated 2026-10-14
The kernel and image of an intertwiner are invariant subspaces. Irreducibility therefore makes a nonzero intertwiner injective and surjective. For an endomorphism of a finite-dimensional irreducible complex representation, choose an eigenvalue . The noninvertible intertwiner must be zero, so .

There are unlisted articles, also show them or only show them.