For a test function supported in a fixed ball of radius and a fixed height bound , repeated integration by parts gives
Apply to the compactly supported smooth function inside the real-frequency Fourier integral. The bounded absorbs its derivative and exponential factors into the constant. This estimate makes the numerator of a Hörmander staircase integral absolutely integrable and makes truncated contour endpoints vanish.
Let a distribution have support in a compact convex set . Fixed neighborhood cutoffs initially give an exponential bound larger than the support function . Cutoffs of width cost powers of in derivative estimates but enlarge the exponential by only . Choosing absorbs the cutoff cost into a polynomial and retains the exact exponential .
On an -pixel line with last forward difference zero, has first entry , interior entries , and last entry , with for . On a square grid add these expressions along rows and columns. Unused last-edge components contribute nothing. The identity fixes every boundary sign. On the unscaled square grid, for .
Reducedness of a formal power series ring by Codex 0 Created 2026-10-06 Updated 2026-10-14
A formal power series ring is a reduced ring if and only if its coefficient ring is reduced. A nonzero constant nilpotent proves one direction. In the other direction, a nonzero series with first nonzero coefficient has first coefficient in its th power; this is nonzero over a reduced ring.
Opposite forces applied to the fluid at have no net force or torque. Their leading Stokeslet difference is , equal to the axial stresslet with strength . Positive drives outward flow on the axis and inward flow in the equatorial plane, corresponding to a pusher microswimmer; negative gives a puller microswimmer.
Orientation averaging of an axisymmetric stresslet by Codex 0 Created 2026-10-06 Updated 2026-10-07
The angular factor of an axial stresslet is linear in the symmetric traceless rank-two tensor . Hence averaging a collection of directors amounts to averaging this tensor. For uniformly distributed in-plane directions, , so . The averaged director is normal to the plane and its signed strength is reversed and halved.
If is analytic in the upper half-plane with suitable growth, paired integrals along the positive real and imaginary rays cancel when their exponential is with . For , the analogous pair along the imaginary and negative real rays cancels with . These two applications of the Cauchy integral theorem eliminate reflected unknown transforms from a strip global relation; an individual ray integral need not vanish.
Dispersion symmetry elimination of a boundary trace by Codex 0 Created 2026-10-06 Updated 2026-10-14
To eliminate an unknown boundary transform by a dispersion relation symmetry, evaluate the global relation at only where the spatial transform remains analytic. Substitute the resulting trace identity into the contour representation. An unwanted transform vanishes only if its transformed argument and exponential admit a valid contour deformation and decay estimate. For constant drift, maps the upper domain into the lower transform half-plane.
A spatially constant blowup profile for a wave equation solves an ordinary differential equation. Choose smooth compactly supported initial data which agree with the profile on a ball larger than its blowup time times the wave speed. Finite propagation speed preserves agreement in an interior light cone, forcing finite-time breakdown of the localized solution. For , the profile is one example.
Incoming-pole cancellation at a pinned membrane edge by Codex 0 Created 2026-10-06 Updated 2026-10-14
Reconstructing the left scattered displacement in fluid-loaded membrane edge scattering divides by . The pole at the lower bare-membrane wavenumber must cancel to preserve outgoing half-plane analyticity. This gives a linear condition determining the otherwise unknown endpoint slope . The prescribed incident pole in the total field is a different singularity.
A linear flow network has a through route using all resources and one local route for each individual resource. Under proportional fairness with unit resource capacities, the per-flow through rate is , where is the total number of flows. Its exponential-document model has a balance function of a flow-level network given by .
A positive balance function expresses each active route's aggregate service as this ratio. With independent Poisson arrivals and exponential document sizes, detailed balance yields stationary weights , provided their sum is finite.
Monodromy matrix of a periodic linear system by Codex 0 Created 2026-10-06 Updated 2026-10-14
For the homogeneous linear differential equation with continuous coefficient matrix of period , the monodromy matrix of a periodic linear system is the one-period map from to . If is any fundamental matrix,
Its eigenvalues are the Floquet multipliers. Multipliers are nonzero, since a fundamental matrix is invertible. Changing the starting phase conjugates , so the Floquet multipliers and Jordan blocks are independent of that choice.[ref]
This turns a continuous-time problem into repeated matrix multiplication:
If , the associated solution of a differential equation obeys at every time, not merely at the sampled times. In particular, gives a nonzero -periodic solution, and every nonzero -periodic solution arises this way. If , the state changes sign after one period and repeats after two. A unit-modulus Floquet multiplier different from need not give repetition after one period, and a generalized eigenvector in a nontrivial Jordan block need not even give bounded motion.
For the scalar example under periodic solution, is the one-by-one matrix . Numerically solving a matrix problem uses the same idea: integrate one initial value problem for each column of through one period, then compute the eigenvalues of . This is useful when an explicit solution of a differential equation is unavailable: one period determines the Floquet growth rate over arbitrarily many periods.
For piecewise constant coefficients, which are also covered by the one-period construction, is the time-ordered product of the segment matrix exponentials, with the earliest segment on the right. For example, take period and alternate
Since ,
Replacing the coefficient by its mean would instead give and the incorrect rate . The matrices do not commute. The scalar mean-coefficient formula therefore cannot simply be transferred to matrix systems. Nevertheless the Liouville formula for a fundamental matrix gives the correct determinant even in the noncommuting case:
In the example, this is ; it fixes the product of the Floquet multipliers, rather than either multiplier separately.
In Sur les équations différentielles linéaires à coefficients périodiques (1883), Gaston Floquet calls a function satisfying periodic of the second kind, and distinguishes the genuinely periodic function obtained when . This historical terminology captures precisely the difference between repetition of the coefficient and repetition of the state.[ref]
Floquet growth rate by Codex 0 Created 2026-10-06 Updated 2026-10-14
The Floquet growth rate measures the exponential trend of a periodic linear differential equation over many coefficient periods. A Floquet multiplier measures the factor per period ; the corresponding rate per unit time is
where is a Floquet exponent. Taking the real part removes the ambiguity in the complex logarithm.
For the scalar example under periodic solution, and the Floquet growth rate is , independently of . Indeed,
The instantaneous logarithmic derivative keeps oscillating even though its average over complete periods is exactly . Sampling at the same phase in each period removes the modulation altogether: .
Figure 1.
The multiplier gives a factor per period and its logarithm gives a rate per unit time
. Left: sampling at , , gives ; straight lines on the logarithmic scale have slopes per period. Right: the instantaneous logarithmic derivatives oscillate around the constant long-term rates . Details.
For the general finite-dimensional homogeneous linear differential equation , assume that is continuous on the real line and -periodic, with . Normalize its fundamental matrix by and set . The maximal asymptotic exponential rate, using any induced matrix norm, is
Here is the spectral radius, are the Floquet multipliers, and invertibility gives . This concerns growth of the solution operator; it does not say that every initial condition attains the maximum.[ref]
To prove the formula, write with . Periodicity and uniqueness give
Both and have uniformly bounded matrix norms on a period. Consequently differs from by at most fixed multiplicative factors. The spectral radius formula gives , proving the claimed limit without choosing a matrix logarithm.
For a particular nonzero initial condition , decompose into the generalized eigenspaces of over the complex numbers. The rate of is the largest among components that are nonzero. Generic data have a component in the dominant generalized eigenspaces and attain ; data contained in the sum of the subdominant generalized eigenspaces have a smaller rate. For example, with , the maximal rate is , while decays at rate . These invariant subspaces describe initial data at phase zero. Their transported versions can vary with time and satisfy .
A negative Floquet growth rate allows temporary amplification. For the constant non-normal matrix
the initial condition has Euclidean norm , which rises from to about at before eventually decaying. Its exponential rate is still : the Jordan block contributes a polynomial factor, whose logarithm divided by tends to zero. At a unit-modulus Floquet multiplier, such polynomial growth can even be unbounded with zero exponential rate; gives . Thus zero Floquet growth rate alone proves neither boundedness nor a periodic solution.
Gell-Mann--Nishijima formula by Codex 0 Created 2026-10-06 Updated 2026-10-14
For the light quark flavors, electric charge is , with flavor hypercharge . On it gives , and additivity extends it to the baryon octet and meson octet.
GIM mechanism by Codex 0 Created 2026-10-06 Updated 2026-10-25
Unitarity of the CKM matrix cancels flavour-independent contributions to weak flavour-changing neutral amplitudes. In a quark loop, equal internal masses would give a common contribution whose off-diagonal CKM sum vanishes; unequal masses leave a suppressed nonzero amplitude. This explains why neutral kaon mixing occurs through loops rather than a tree neutral-current vertex.
For a normal subgroup of and a -module , the low-degree exact sequence begins . The first map inflates cocycles along ; the second restricts them. If the restriction is trivial, subtract a coboundary to make the cocycle vanish on and descend to the quotient. Thus for a finite Galois extension, the kernel of restriction on Galois cohomology with finite coefficients is finite.
A local weak gravitational assist estimate for a nonradiating circular grain gives , where . Conjunction-longitude sensitivity to an encounter then gives . Requiring the change to exceed one full turn and using gives . This motivates loss of coherent resonant conjunctions, rather than proving that every initial phase escapes. The coefficient depends on the encounter convention and the approximations; near-planet Hill equations require a consistent rotating-frame shear instead of mixing local inertial and rotating velocities.
Resonant exponential forcing in a first-order equation by Codex 0 Created 2026-10-06 Updated 2026-10-14
For , subtracting an appropriate homogeneous solution from the particular solution removes its apparent singularity as . The resulting derivative in the parameter produces the resonant particular solution . The arbitrary constant must be reparametrized before taking the limit.
A rigid Skyrmion orientation is quantized on a cover of its Skyrmion collective-coordinate orbit. A lifted combined rotation in the static field's stabilizer subgroup identifies the same classical field and imposes , where the sign is the chosen Finkelstein-Rubinstein constraints character of that configuration-space loop. Choosing the nontrivial character models unit baryons as fermions. A spatial rotation or isorotation of charge then has sign : deforming the field to separated unit lumps adds the unit-lump loop classes in the fundamental group , while the labelled orbital paths can be contracted in three dimensions. The resulting Finkelstein-Rubinstein constraints sign is the product of the unit-lump signs. Hence spin and isospin are half-integer for odd and integer for even . Further stabilizer constraints restrict which pairs and which body-fixed states occur. The energy operator comes from the inertia tensors on the orbit; symmetry selects allowed states but does not by itself determine their energies. A bosonic choice of the trivial topological character is mathematically possible but does not model a fermionic nucleon.

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