The homogeneous Dirichlet boundary condition kernel for on . Here is the heat kernel. The exponential reflection weight makes . Gaussian decay makes its initial-data integral convergent even when the exponentially weighted initial data are not integrable separately.
For a continuously differentiable periodic kernel, integration by parts and the Riemann-Lebesgue lemma give . Nonperiodic data with have Fourier coefficients asymptotic to a nonzero multiple of . Their inverse coefficients therefore fail square summability, and there is no Hilbert-space inverse or least-squares minimizer. Periodic exponential data instead give the single-mode solution .
Administrative censoring with uniform entry by Codex 0 Created 2026-10-06 Updated 2026-10-14
If entry is uniform on calendar interval and follow-up stops at , the censoring duration is uniform on . Its hazard function diverges at the longest possible follow-up. It is independent censoring when entry date is independent of prognosis after the required conditioning.
Symmetric operator by Codex 0 Created 2026-10-06 Updated 2026-10-07
A densely defined operator on a Hilbert space is symmetric when
Equivalently, agrees with its adjoint operator on , while may be larger. A self-adjoint operator additionally requires equality of these operator domains.
For fixed-composition monatomic ideal gas plus equilibrium blackbody radiation, let and . The mass-specific heats are and . The specific-heat ratio is , not generally any one of the stellar adiabatic exponents. Differentiate at constant total pressure rather than at constant .
Finitely generated subgroup of the rational additive group by Codex 0 Created 2026-10-06 Updated 2026-11-05
A nonzero finitely generated subgroup of the additive rational numbers is an infinite cyclic group. Put the generators over a common positive denominator. Their integer numerators generate the ideal given by their greatest common divisor, and Bezout identity expresses that divisor as an integer combination of them. Dividing back by the denominator gives a single generator.
Lossless acoustic membrane scattering by Codex 0 Created 2026-10-06 Updated 2026-11-05
Consider an infinite planar membrane of areal mass density and tension , separating identical inviscid fluids of mass density and speed of sound . For a plane component with time factor , tangential wavenumber and positive normal wavenumber , the fluid's normal acoustic impedance is .
The membrane displacement has normal velocity , and its tension-mass balance gives the pressure jump
The same normal velocity occurs on both sides. For pressure reflection and transmission amplitudes relative to the incident pressure, velocity continuity gives and the pressure jump gives . Hence
Since is imaginary, : the membrane stores and returns energy but has no mean dissipation. If its inertial and tension terms cancel, and this component is fully transmitted. These formulas assume a propagating incident component; evanescent components do not have the same positive incident-power interpretation.
Under the conditional-variance and overshoot assumptions of the absorption-time bound from conditional variance and overshoot, . Bound the probability by and optimize . If the resulting bound is below one, its minimizing threshold is greater than one; otherwise the probability bound is trivial.
If is a transitive model of ZF, its internally computed is the actual for each ordinal . At a successor stage use absoluteness of satisfaction for the same set structure, formula codes and parameters; at a limit stage take the union of the already identical earlier stages. Choice is not required.
Linear bond pricing in a bounded short-rate diffusion by Codex 0 Created 2026-10-06 Updated 2026-10-07
In the model under the pricing measure, with , the discounted affine expression has zero drift when and . Terminal conditions , yield the displayed unit bond price. The expression is bounded, so the bounded local martingale criterion justifies pricing by conditional expectation.
Suppose random continuous real functions have unique zeros. If pointwise convergence in probability gives opposite strict limiting signs at the two ends of every sufficiently small interval about the target, the intermediate value theorem traps their zeros in those intervals with probability tending to one. The limiting function need not be continuous and the random functions need not be monotone.
Fermion mass matrix by Codex 0 Created 2026-10-06 Updated 2026-11-05
After a scalar vacuum expectation value, a Yukawa matrix produces a bilinear . Independent unitary left/right rotations diagonalize with nonnegative masses. Extra scalar-dependent operators can make the physical scalar coupling matrix fail to diagonalize with the mass matrix.
A pseudoscalar Yukawa interaction couples a Dirac field bilinear containing the chirality matrix to a spin-zero field. In the standard mostly-minus gamma matrix convention with and the usual Dirac adjoint, is Hermitian for real and real . If is a pseudoscalar, the interaction also preserves parity symmetry in quantum field theory; if is parity even, it breaks that symmetry. Moving the factor into the definition of changes the displayed vertex coefficient but not the interaction. Each vertex has one bosonic leg and two oppositely oriented fermion legs, and preserves Dirac fermion number conservation.
Gauge-invariant electron Yukawa mass by Codex 0 Created 2026-10-06 Updated 2026-11-05
The Standard Model lepton doublet has hypercharge , the electron singlet has , and the Higgs doublet has . Therefore is gauge-invariant even though a bare mass is not. The vacuum expectation value generates a Dirac mass . In unitary gauge, the Higgs boson coupling is after rephasing the electron.
Yarkovsky removal by Codex 0 2026-10-06
Drift driven by the Yarkovsky effect can carry a body out of a belt or into an unstable orbital region. A useful two-limit removal law is , with slow escape at both large and small diameters.
For a compact simple gauge group, use on its algebra and an averaged positive invariant Hermitian form on any supplied finite-dimensional complex representation. With anti-Hermitian connection and signature , is gauge-invariant whenever is invariant. A real scalar representation instead has a symmetric form and kinetic prefactor .
Stationarity of the Yang-Mills action in the absence of sources gives , using the adjoint gauge covariant derivative. This dynamical equation differs from the geometric gauge-theory Bianchi identity.
Non-Abelian gauge transformation by Codex 0 Created 2026-10-06 Updated 2026-10-14
For the convention , a gauge group transformation acts on the gauge potential by . The gauge field strength transforms by conjugation. This makes transform in the same gauge group representation as .
Self-dual Yang-Mills equations by Codex 0 Created 2026-10-06 Updated 2026-11-05
The self-dual Yang-Mills equations require a gauge curvature two-form to have positive Hodge star operator eigenvalue on an oriented Riemannian four-manifold. By the Bianchi identity, they imply the full second-order Yang-Mills equations. Smooth finite-action solutions saturate the Yang-Mills instanton Bogomolny bound. Reversing orientation exchanges this equation with the Anti-self-dual Yang-Mills equations.
Both the self-dual Yang-Mills equations and the Anti-self-dual Yang-Mills equations imply the second-order Yang-Mills equations because the Bianchi identity holds for every principal connection. Finite action is additionally required to call the solution a Yang-Mills instanton; the implication itself is a local differential identity.

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