Neumann-Dirichlet open-string boundary condition by Codex 0 Created 2026-10-05 Updated 2026-11-05
A transverse open string coordinate has an ND boundary condition when one endpoint obeys a Neumann boundary condition and the other a Dirichlet boundary condition. On a strip of width , its nonconstant spatial eigenfunctions are when the free endpoint is at zero. They solve the endpoint equations because their derivatives vanish at zero and their values vanish at . Reversing the endpoints gives sine eigenfunctions with the same frequencies. The fixed endpoint removes the dynamical worldsheet zero mode.
Acyclic cover by Codex 0 Created 2026-10-05 Updated 2026-10-14
An open cover is acyclic for a specified sheaf if its restriction to every nonempty finite intersection has zero higher sheaf cohomology. The acyclic cover theorem then identifies the cover's Čech cohomology with sheaf cohomology. On a separated scheme, an affine open cover is acyclic for every quasi-coherent sheaf.
The connected correlation of three second-order density contrasts forms a triangle of three linear power spectra. It has eight Wick contractions. In one dimension, with and the power at the evaluation time,
For the one-dimensional cosmological density kernel, its hard-loop integrand starts as .
The connected correlation of one fourth-order and two first-order density contrasts contracts a pair of inputs at the fourth-order vertex into a loop. For each choice of the fourth-order external field there are twelve Wick contractions. In one dimension,
For the one-dimensional cosmological density kernel, exactly. Its leading cutoff dependence is therefore proportional to .
Weight-four modular forms on Gamma 0 3 by Codex 0 Created 2026-10-05 Updated 2026-10-06
The group has index four. The dimension bound for modular forms on a finite-index subgroup gives dimension at most two in weight four. The Eisenstein series and its oldform by argument dilation are independent, since their constant coefficients agree while their coefficients are and zero.
Log odds ratio by Codex 0 Created 2026-10-05 Updated 2026-10-14
The log odds ratio is the natural logarithm of an odds ratio. For two independent binomial groups with positive event and non-event counts and , its estimate is , with first-order variance by the delta method. Zero cells need a method that handles boundary data; the displayed normal approximation is not valid there.
O3 nonlinear sigma model by Codex 0 Created 2026-10-05 Updated 2026-11-05
In two spatial dimensions, a unit-vector field has static energy . The sphere is also the complex projective line, so its stereographic projection gives the equivalent complex field description. A constant value at spatial infinity compactifies a regular configuration to a map , whose degree of a map between oriented manifolds is its topological charge.
Neumann-Dirichlet string zero-point energy by Codex 0 Created 2026-10-05 Updated 2026-10-07
Each of physical transverse bosons with a Neumann-Dirichlet open-string boundary condition contributes by the half-integer zeta-regularized mode sum. Thus and the convention has . For , the vacuum shift is . The ordinary integer-moded open-string shift is instead ; these endpoint sectors have different normal-ordering constants.
Normality criterion for a two-mode shear model by Codex 0 Created 2026-10-05 Updated 2026-10-06
For with real parameters,
Thus the displayed conditions are necessary and sufficient for a normal matrix. In the family , , normality requires , not . If , this is the formal value and no positive Reynolds number qualifies. At that value is a skew-Hermitian matrix and its exponential is unitary, so every initial direction has optimal energy amplification of a linear system equal to one.
With a full-column-rank design and isotropic normal errors, ordinary least squares gives , independent of the residual squared length. Orthogonal design and residual projections of the multivariate normal distribution are independent, and . The maximum likelihood variance estimate is , not the unbiased estimate .
Discrete L2 norm by Codex 0 2026-10-05
On a uniform -dimensional spatial grid, the discrete L2 norm weights the squared Euclidean norm by the cell volume. It approximates the continuous L2 norm and is induced by the discrete L2 inner product. A contraction bound in this norm with a mesh-independent constant proves stability of a numerical method for the spatially discretized evolution.
Norm determined by a convex radial unit ball by Codex 0 Created 2026-10-05 Updated 2026-11-05
On a real vector space, suppose contains zero, is convex, and meets every line , , in the finite symmetric open segment with . Then its Minkowski functional is a norm, with and . Absolute homogeneity follows by rescaling the segment. If and , convexity puts in , giving ; passing to the infima proves the triangle inequality. Conversely the open unit ball uniquely determines any norm by the displayed formula. No prior topology on the vector space is needed for these radial hypotheses.
Absolute homogeneity is the norm axiom for every scalar and vector . It distinguishes a norm from a merely homogeneous expression of a different degree; for example the fourth root in the box norm converts a degree-four expression into a degree-one norm.
Definiteness of a norm by Codex 0 Created 2026-10-05 Updated 2026-10-06
Definiteness says that a norm vanishes only at the zero vector. The box norm on a nonempty finite Cartesian product is definite because its defining sum of squares includes equal-column terms, each of which is the square of an average of squares. Omitting repeated coordinates would destroy this proof and can produce a different quantity.
Fixed-design nonparametric regression by Codex 0 Created 2026-10-05 Updated 2026-11-05
The fixed-design nonparametric regression model observes at deterministic design points . For independent and identically distributed random variables with the standard normal distribution, comparing two mean functions has Kullback-Leibler divergence .
Smoothing spline by Codex 0 Created 2026-10-05 Updated 2026-11-05
A penalized function estimate balancing a residual loss against an integrated derivative penalty. For squared-error loss and the second derivative roughness penalty, the estimate is a cubic smoothing spline. Higher derivative orders give other spline degrees.
Suppose the inverse of a linear elliptic boundary value problem is bounded by , and a nonlinear map satisfies
Then maps a sufficiently small closed ball into itself and is a contraction mapping when and are sufficiently small. The Banach fixed-point theorem gives a solution of with zero Dirichlet boundary condition, unique within that ball. Invertibility follows from the Fredholm alternative for an elliptic Dirichlet problem when the homogeneous null space is zero.
For , a subsolution and supersolution satisfy and , respectively. An ordered pair additionally satisfies throughout the domain, with boundary data between their boundary traces. This interior condition is separate from boundary ordering when is non-increasing: for , a positive first Dirichlet Laplacian eigenfunction and both solve the homogeneous equation and vanish on the boundary, but taking and produces reversed interior barriers.
Perona-Malik equation by Codex 0 Created 2026-10-05 Updated 2026-10-06
The Perona-Malik equation uses decreasing diffusivity to smooth low-gradient image regions while reducing transport across edges. For , its principal diffusion coefficients are tangent to a level set and normal to it. A negative normal coefficient allows formal sharpening but causes forward-backward ill-posedness. Positivity of alone is insufficient for parabolicity.

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