Early extinction of a settling rarefaction fan by Codex 0 Created 2026-10-06 Updated 2026-11-05
Consider normalized initial concentration above and below it, with , in the quadratic hindered-settling flux model. The final packed height is . The last surviving characteristic of a settling fan lies inside the fan only if
The upper inequality gives ; the lower gives . Thus both front curves can be used through the final meeting only for .
If , the deposition front leaves the fan through its upper edge before meeting the clearing front. It then travels through uniform concentration at speed ; the clearing front stays straight. If , the clearing front instead leaves the lower edge first, while the deposition front stays at speed . Matching the appropriate straight and curved pieces gives
The expressions agree at the transition values. The bounds prevent an algebraic intersection of extrapolated curves from being mistaken for a physical meeting inside the settling rarefaction fan.
Caccioppoli partition by Codex 0 Created 2026-10-06 Updated 2026-10-07
A Caccioppoli partition is a countable measurable partition, up to null sets, into sets of finite perimeter with finite sum of relative perimeters. Its interior interfaces are counted twice by that sum. It represents regions of a piecewise constant image signal in the piecewise-constant Mumford–Shah problem.
The planar cluster-count identity rewrites as . At the self-dual parameter of the random-cluster model, , so its weight is up to a configuration-independent factor. Absorbing into normalization proves the symmetric weight, with the unbounded dual face counted.
Selberg sieve diagonalization by Codex 0 Created 2026-10-06 Updated 2026-11-05
Put , and , where is a multiplicative arithmetic function supported on squarefree integers. For squarefree integers ,
Thus the quadratic form is . Möbius inversion gives . On the permitted squarefree integers, the constraint becomes . The Cauchy-Schwarz inequality yields , where over those integers; equality holds at .
Changing planetary masses or other system parameters move the frequencies of secular eigenmodes. A particle can cross a secular resonance when its free precession frequency meets a forcing frequency. Passage can change its free eccentricity and mix modes; a single scalar phase replacement generally cannot describe the response.
If both precession and forcing in share a common mass factor while stays fixed, then . The Argand diagram circle is unchanged; only its traversal speed varies. With , the phase is .
For a real two-planet Laplace-Lagrange secular matrix with negative off-diagonal entries, the upper secular eigenmode has anti-aligned apsides and the lower has aligned apsides. Their positive planet-1 to planet-2 amplitude ratios obey . Under the conventional angular momentum deficit normalization this is .
For , set . The Mathieu equation has and . Near the value , the orthonormal even Fourier series basis gives diagonal entries and adjacent couplings . The odd basis gives diagonal entries and adjacent couplings . Higher modes require at least six coupling steps to affect the root near , so these truncations determine its coefficients through .
Substituting into the two characteristic polynomials and equating coefficients yields
Converting back gives the displayed gap edges with remainders in . In a fixed bounded neighborhood of this parametric resonance, the true unstable gap is . The leading slow-amplitude calculation cannot decide exact stability at or ; the fourth-order shifts put those fixed values just outside the gap for sufficiently small positive . This does not provide a bound uniform in for their transient amplification.
The diffusion coefficient obtained from a scale transform for an additive-noise diffusion need only be defined on an open interval. If it is Lipschitz, its limit at a finite endpoint is zero: a positive limit would bound the derivative of the inverse scale and prevent the inverse from diverging. Extending it by zero beyond finite endpoints therefore preserves global Lipschitz continuity.
The zero extension of a scale diffusion coefficient at finite endpoints makes the transformed equation globally Lipschitz. Inverting its solution gives the original additive-noise equation. The pathwise bound prevents the inverse scale from reaching infinity at any finite time. This proves global strong existence and pathwise uniqueness even when the original drift is not Lipschitz.
Uncentered empirical second-moment matrix by Codex 0 Created 2026-10-06 Updated 2026-11-05
The uncentered empirical second-moment matrix averages the outer products of the observations. Its expected value is . It is an unbiased estimator of the covariance matrix when the population expected value is known to be zero. It differs from a sample covariance matrix centered at the sample mean.
Straight rotating string with one fixed endpoint by Codex 0 Created 2026-10-06 Updated 2026-10-07
A Nambu–Goto action solution with is , for . It solves the wave equation, has a fixed endpoint at the origin, and obeys the free-end string boundary condition at the other end. Its proper length is and its free endpoint has angular speed and spatial speed one.
In units , periodic-angle quantization gives canonical charge . The mechanical charge is and the rotating-kink mass gives the displayed leading semiclassical spectrum. The and families are related by reversing the kink. Theta periodicity relabels the integer; fluctuation corrections are not excluded by this leading calculation.
Root-space reducedness lemma by Codex 0 Created 2026-10-06 Updated 2026-11-05
For a complex semisimple Lie algebra, restrict the module to the sl2 subalgebra associated with a root. All its weights are even. Its raising operator maps the weight-zero space onto the one-dimensional line of the chosen root vector, so there is exactly one nontrivial irreducible summand: the adjoint module of highest weight . Thus the root spaces at are one-dimensional and is not a root. For any parallel root , the integers and have product ; excluding double and half roots leaves only .
Every right-invariant Riemannian metric on the Heisenberg group has Killing vector fields , and . Their Lie brackets of vector fields reproduce and the central relations. Their flows are right translations. The dual frame of the right-invariant coframe is different and has the opposite Lie-bracket sign.
Let be the uniform background dust surface density of a disk and its fractional perturbation. Here is the radial wavenumber, is the epicyclic frequency and is a real velocity amplitude. For that uniform background and late velocity , linear dust continuity equation gives . Integrating yields the displayed formula. The coherent travelling-wave fractional excess is , with validity requiring this number much smaller than one. The static term records initial density and transient displacement: drag damps velocity, but supplies no density diffusion. The long-wavelength gas wave has the same fractional density amplitude, so entrainment alone does not produce an additional dust-to-gas ratio enhancement at this order.
Fitting a mixture model to regression residuals treats the fitted mean adjustment as fixed. Even with independent homoscedastic errors, ordinary least-squares residuals have covariance matrix and satisfy fitted linear constraints, so they are not exactly independent observations. A joint mixture regression with shared slopes or a bootstrap of the whole fitting process better accounts for the first-stage estimation uncertainty.
Functoriality of chosen representations by Codex 0 Created 2026-10-06 Updated 2026-10-07
If has chosen representations , the Yoneda lemma determines a unique functor on morphisms by . This makes the representing natural isomorphisms natural in .
The independent constraints and separate the dual supremum into . They do not define square-root graph area. For the box-constrained value is , while the relaxed graph-area functional is .
For an assumed minimizer of , compactly supported variations give in distributions. If the regularizer is instead the total variation seminorm, a bounded calibration field replaces the quotient and handles zero gradients.

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