For and , define . Translations are smooth in the Schwartz space, so every derivative is . The finite-seminorm continuity estimate for implies for one . Thus the result is a smooth function defining a tempered distribution, but it need not be a Schwartz function: when . If both factors are radial, testing the rotation action on the translated shows that the convolution is radial.
Two-stage entropy dilution of an early-decoupled neutrino by Codex 0 Created 2026-10-06 Updated 2026-11-05
An extra relativistic neutrino that decouples before ordinary neutrinos misses two stages of plasma heating. Until ordinary decoupling, entropy conservation gives a temperature ratio . Electron-positron annihilation then heats photons but neither neutrino population, multiplying the ratio by . Here counts the coupled bath at the extra species' decoupling, with no subsequent exotic entropy injection.
Integral first-order Taylor formula for a vector map by Codex 0 Created 2026-10-06 Updated 2026-10-14
For a continuously differentiable vector-valued function whose domain contains the segment from to , apply the fundamental theorem of calculus componentwise to . The resulting integral matrix is valid even when there is no common intermediate point giving a vector mean-value formula. For a score function, it integrates the Hessian matrix along the segment to a candidate estimate.
Cotangent space by Codex 0 Created 2026-10-06 Updated 2026-10-07
The cotangent space at is the dual vector space . Its elements are covectors on the tangent space. In a manifold chart , the basis is dual to . Under a coordinate change to , the coefficients of obey . The disjoint union of these spaces is the cotangent bundle.
For a nonnegative integer-valued variable, and the tail-sum formula gives . For arbitrary positive real values, that integer-indexed sum equals instead. Two independent constants equal to demonstrate that the product of such tail sums need not equal the tail sum of their product: the two sides are four and three.
Residual synchronous-gauge freedom by Codex 0 Created 2026-10-06 Updated 2026-10-07
Preserving under the scalar gauge transformations with a background lapse requires and . Thus arbitrary spatial functions remain after imposing synchronous gauge in cosmology. This freedom can generate changes in the remaining scalar metric perturbations.
A vector field on a symplectic manifold is symplectic when its flow preserves the symplectic form. Infinitesimally this is . By Cartan's magic formula it is equivalent to . A Hamiltonian vector field has an exact contraction with the form, so is symplectic. On the standard two-dimensional torus, contracts to the closed but nonexact form , providing a symplectic non-Hamiltonian example.
Direct-product decomposition of the cube symmetry group by Codex 0 Created 2026-10-06 Updated 2026-10-07
The symmetry group of a cube splits into its central inversion and its rotational symmetry group of a cube. Inversion has determinant , the rotation subgroup has determinant , and together they generate the full group with trivial intersection. The rotation subgroup acts faithfully on the four body diagonals and is isomorphic to . Consequently the full group is this direct product of groups.
Groups of order p squared q are not simple by Codex 0 Created 2026-10-06 Updated 2026-11-05
For distinct primes , the Sylow theorems force a proper nontrivial normal subgroup in any group of order . If , the Sylow -subgroup is unique. If and both Sylow counts were nontrivial, the count congruences force . In order twelve, four Sylow -subgroups exhaust eight nonidentity elements; only three remain for a Sylow -subgroup, making that subgroup unique. Thus the group is not a simple group.
Frattini argument by Codex 0 Created 2026-10-06 Updated 2026-11-05
If is a normal subgroup of a finite group and a Sylow subgroup of , then
Normality puts every inside , and Sylow conjugacy there gives . Hence normalizes , giving the factorization. This reduces questions about to a normaliser and its normal subgroup.
Dilute rod suspension by Codex 0 Created 2026-10-06 Updated 2026-11-05
In the non-interacting dilute limit, the particle contribution to bulk stress is number density times the orientation average of the particle stresslet tensor. Alignment, tumbling, rotational diffusion and interactions determine the orientational distribution and hence the excess viscosity.
First-claim decomposition for survival probability by Codex 0 Created 2026-10-06 Updated 2026-11-05
In a classical risk model, before the first claim at time , available capital is . A claim of size leaves future survival probability by the Markov property. Integrating over the independent first-arrival exponential distribution and claim probability density function gives .
Translating surfactant-coated bubble by Codex 0 Created 2026-10-06 Updated 2026-11-05
Consider a nearly spherical bubble of radius translating with velocity through a liquid of dynamic viscosity . Neglect internal gas viscosity and use exterior Stokes flow. Let the surfactant concentration be and linearize surface tension as with . Surface transport has surface diffusion coefficient and exchange-relaxation rate .
In the bubble's translating frame, write its tangential surface velocity as
where points out of the bubble. The clean-bubble value is ; a completely immobile interface has . The dipolar surfactant distribution is , with
Combining that transport solution with the tangential Marangoni stress balance gives
Increasing suppresses interfacial motion, whereas stronger diffusion or exchange reduces the concentration contrast and restores mobility. The linearization separately requires , or . Small Reynolds number and capillary number are also needed for Stokes flow and a nearly spherical shape; a large immobilization parameter alone does not establish those assumptions.
For a Schwarzschild black hole of mass in geometrized units, gives . The Killing vector field is normalized at infinity; changing that normalization changes .
Affine horizon-generator scaling by Codex 0 Created 2026-10-06 Updated 2026-10-07
If a Killing horizon generator has constant nonzero surface gravity , write with affine. The equation implies , so shifting the affine origin gives .
If is smooth and on , transverse local coordinates give . Thus as distributions. In particular . Omitting this Jacobian confuses the delta of a defining function with a geometric surface delta distribution.
For the geometric surface delta distribution on the radius- sphere in , . Angular integration gives the Fourier transform , with removable value at zero. The convolution of distributions with a compactly supported factor gives the regular distribution
This density has total mass . Values on endpoint spheres do not affect the distribution. When , the inverse-distance singularity is locally integrable in three dimensions and is not an additional point mass. The annulus expresses the triangle inequality for the sum of two vectors of fixed lengths.
Effort support by Codex 0 Created 2026-10-06 Updated 2026-11-05
An effort support is the support of a probability distribution used to randomize effort in a contest. The all-pay indifference equation with random entry determines this support together with its distribution function.
Massive N=1 vector multiplet by Codex 0 Created 2026-10-06 Updated 2026-11-05
A four-dimensional massive vector multiplet contains one spin-one particle, two spin-one-half particles and one real spin-zero particle. Its on-shell state counts are bosonic and fermionic. These masses agree in an unbroken supersymmetric vacuum. The supersymmetric Higgs mechanism assembles it from a massless vector multiplet and one chiral superfield per broken gauge generator.
Kick-direction binary survival criterion by Codex 0 Created 2026-10-06 Updated 2026-10-25
For an impulsive supernova kick in a binary star initially in a circular Kepler orbit, let be the remaining total mass fraction and the kick speed divided by the original relative speed. The displayed post-kick specific orbital energy is negative for a bound pair and positive for escape. Over all directions, the velocity factor ranges from to . Some direction leaves a bound pair exactly when ; some direction permits positive-energy escape exactly when . Equalities are marginal parabolic Kepler orbits. The circular initial orbit and impulsive approximation are essential.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact