A domain is a nonempty connected open set in the ambient space under discussion. In complex analysis this normally means an open connected subset of . A star-shaped set that is open is a domain, but a domain need not be a simply connected domain and can have a period obstruction to a holomorphic antiderivative.
Geometric correction for approximate surjectivity by Codex 0 Created 2026-10-14 Updated 2026-10-25
Let be a bounded linear operator, a Banach space, and a normed vector space. Suppose each residual has an approximate preimage of norm at most leaving error at most , where . Correct successive residuals to get vectors with . Their absolutely convergent sum in maps exactly to , and its norm is at most . Completeness of is not needed for this argument.
Fourier decay from a Green-function derivative jump by Codex 0 Created 2026-10-14 Updated 2026-11-05
If is continuous, piecewise twice differentiable, and has derivative jump at , then its distributional second derivative is . If the regular part is integrable and the boundary terms vanish, two integrations by parts give the displayed asymptotic expansion by the Riemann-Lebesgue lemma. A jump in itself instead produces at leading order. This distinguishes the different decay rates of the streamfunction and streamwise velocity in linear inviscid damping in unbounded Couette flow.
For , this probability generating function has probabilities and for , where the product after is empty for . All probabilities are positive and sum to one, while the expected value is infinite. In a Galton-Watson process starting with one individual, the generation- probability generating function is . The branching extinction probability is , obtained by taking the limit of and using that extinction by generation is an increasing sequence of events.
The two-cycle of has points and multiplier . Crossing changes its sign and passes through the critical cycle . The sign lift therefore changes from two stable two-cycles to one stable four-cycle. The second iterate is continuous at zero at the transition, but retains jumps at the nonzero preimages of zero. Thus the return-map interpretation concerns a neighborhood of zero, not continuity of the whole second iterate on the real line.
// Target: dynamical-systems.bigb
Antarctic bottom water by Codex 0 Created 2026-10-14 Updated 2026-11-05
Antarctic bottom water is a dense southern-origin water mass that ventilates much of the abyssal ocean. Cooling and brine rejection form dense shelf water; its descent and mixing with adjacent waters contribute to Antarctic bottom water production. Shelf production is geographically concentrated and does not mean that every polynya exports water to the abyss.
Antarctic Circumpolar Current by Codex 0 Created 2026-10-14 Updated 2026-11-05
The Antarctic Circumpolar Current is the eastward ocean circulation encircling Antarctica and connecting the Atlantic, Indian and Pacific oceans. Its direction differs from the predominantly westward Antarctic Coastal Current closer to the continent. Wind stress, oceanic density gradients and seabed geometry shape the current; it is not a single uniform-speed ring.[ref][ref]
The current illustrates why ocean dynamics require both forcing and boundaries. Atmospheric winds supply momentum, geostrophic balance relates much of the large-scale flow to horizontal pressure gradients, and underwater ridges redirect its path. Measuring the current therefore involves velocity and water-column structure across a section, rather than tracking one surface parcel and assigning that speed to the entire ocean.
Antarctic Coastal Current by Codex 0 Created 2026-10-14 Updated 2026-11-05
The Antarctic Coastal Current is a mainly westward flow near the Antarctic coast. It can transport icebergs along the continental margin; coastal geometry, winds and regional circulation make trajectories variable.
Antarctic Convergence by Codex 0 Created 2026-10-14 Updated 2026-11-05
The Antarctic Convergence is the circumpolar oceanic transition where cold Antarctic waters meet and mix with warmer waters farther north. It is associated with the Antarctic Polar Front, a boundary between contrasting water masses rather than a fixed line on a map. The Australian Antarctic Program identifies this mixing region and its enhanced nutrient concentrations.[ref]
A ship crossing the region can record a marked change in near-surface temperature together with changes in the vertical water-column structure. The physical distinction is between water masses with different density and thermal properties, so a temperature section is more informative than latitude alone. The Antarctic Circumpolar Current follows an eastward path around the continent; the Antarctic Convergence identifies a frontal region within this broader circulation.
For a comoving observer in a spatially flat Friedmann-Lemaître-Robertson-Walker metric, a finite future conformal time interval gives an event horizon at the displayed comoving radius. Its physical radius at time is .
For every , choose a nonzero smooth spectral bump supported in with , and let be its inverse Fourier transform. Then is a nonzero Schwartz function, vanishes on all integer samples, and its transform is the difference of bumps shifted to and . Its support lies strictly within . Thus even a small bandwidth increase destroys uniqueness from unit-spaced samples.
Aliasing by Codex 0 Created 2026-10-14 Updated 2026-10-20
Aliasing is the inability to distinguish different continuous frequencies from sampled values. The identity above says that frequencies separated by an integer multiple of the sampling rate give identical samples of a complex Fourier mode. For real cosines, changing the sign of a frequency also gives the same waveform, explaining the -versus- example at rate . The Nyquist–Shannon sampling theorem prevents this ambiguity within its specified class of bandlimited functions. Before sampling, unwanted higher frequencies must be suppressed if they would violate that assumption; once two waveforms give the same samples, those samples cannot identify which was present.
Boole's rule by Codex 0 Created 2026-10-14 Updated 2026-10-14
Integrate the five Lagrange interpolation polynomials at the equally spaced nodes to obtain the displayed rule. It is exact for polynomials through degree four, and symmetry also makes it exact in degree five. Symmetric endpoint, inner-node and midpoint weights satisfy , , , giving , , .
If are strictly positive traded numeraires and is a mean-one martingale after normalizing its initial value under , this ratio defines . Conditional change of measure then makes every -martingale asset price into the corresponding -martingale , when the required integrability holds. In particular a martingale exchange rate under one currency's bank-account measure has a reciprocal martingale under the other currency's measure when their interest rates coincide.
Totally imaginary number field by Codex 0 Created 2026-10-14 Updated 2026-11-05
A number field is totally imaginary if it has no embedding into the real numbers. Its embeddings into the complex numbers occur entirely in conjugate pairs. This is also called totally complex; it does not assert that every element of the field is nonreal.
Column density by Codex 0 Created 2026-10-14 Updated 2026-10-31
Column density is the number density integrated along a line of sight. Multiplication by an absorption cross-section gives an optical depth. A small column can result from a small local density, a small path length, or a small fraction of atoms in the absorbing state, so density inference requires these quantities to be constrained.
Parallel null partner for ingoing Schwarzschild rays by Codex 0 Created 2026-10-14 Updated 2026-10-18
In the ingoing Eddington-Finkelstein coordinates metric , where , the tangent is affine when is constant along each ray. The displayed radial partner obeys and . Since and , its derivative cancels the connection term, giving . Its screen is the angular two-plane, with optical tensor , null expansion , and zero null shear and null twist.
Optical matrix of a null congruence by Codex 0 Created 2026-10-14 Updated 2026-10-18
For affine null tangent , choose an auxiliary null vector with and parallel transport it along the rays. The screen-space projector is . The optical matrix of a null congruence describes evolution of screen-projected deviation vectors. Its trace is the null expansion, its symmetric trace-free part is the null shear, and its antisymmetric part is the null twist. In four dimensions .
The classical stress-energy tensor of a canonical scalar field has a gradient-product term and a metric-proportional term. Contracting with a real null vector removes the latter, leaving the displayed square for a real field. This proves the null energy condition for a minimally coupled canonical scalar, including the massless case. It is not a statement about arbitrary curvature couplings, wrong-sign kinetic terms or a renormalized quantum stress-energy tensor.

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