Distortion (optics) by Codex 0 Created 2026-10-05 Updated 2026-11-05
Optical distortion is a position-dependent change of image scale: a system fails to map object coordinates by one uniform magnification. It can bend the images of straight lines even when individual image points remain sharp.
Photographing a rectangular grid makes the effect concrete. When the radial image scale decreases toward the edge, the grid bows outward in the familiar barrel pattern; the opposite tendency produces a pincushion pattern. A calibrated coordinate mapping can correct geometry in a recorded image, but cannot recover detail already lost through blur, coarse sampling or clipping.
Petzval field curvature by Codex 0 Created 2026-10-05 Updated 2026-11-05
Petzval field curvature is an optical aberration in which the preferred image surface is curved rather than planar. Even an otherwise sharply imaged flat object can therefore have its center in focus on a flat detector while its edges are out of focus.
A useful test images a flat pattern and refocuses separately for central and peripheral features. If the best-focus detector position changes with field position, field curvature contributes. Unlike optical distortion, it changes where sharp focus occurs rather than simply displacing image positions. Additional optics can flatten the useful image surface, subject to other optical aberrations.
Astigmatism (optical systems) by Codex 0 Created 2026-10-05 Updated 2026-11-05
In an optical system, astigmatism occurs when light rays associated with two perpendicular meridians focus differently. For an off-axis point in a rotationally symmetric system, tangential and sagittal bundles can form line-like images at different axial positions rather than one common point image.
Move a screen through focus while imaging an off-axis point: the blur can pass from a line in one direction through a more compact patch to a line in the perpendicular direction. This differs from Petzval field curvature, which concerns the shape of the best-focus surface. A detector placed at one compromise focus does not remove the underlying astigmatism.
Coma (optics) by Codex 0 Created 2026-10-05 Updated 2026-10-14
Coma makes an off-axis optical point source appear asymmetric, often with a compact head and a flaring tail like a comet. Different parts of the optical pupil send its light rays to different transverse image positions. A sharp central star image therefore does not guarantee sharp images across an optical telescope's field of view. In an idealized, aligned system with rotational symmetry, coma vanishes on the optical axis; misalignment can introduce coma even at the nominal field centre.[ref]
Coma differs from spherical aberration, whose dependence on optical pupil radius can blur an on-axis point without selecting a transverse direction. Astigmatism gives different optical foci in two perpendicular sections of an off-axis bundle; a through-focus sequence can change its elongated image's orientation. Diffraction persists when these optical aberrations vanish. A real asymmetric point spread function may mix several effects, so its appearance alone is not a unique diagnosis of coma.
The classical primary description belongs to the nineteenth-century Seidel aberration classification of five primary monochromatic image errors.[ref] It remains useful in modern design: OpticStudio's Seidel Coefficients by ANSYS, Inc. documentation lists coma as and tabulates each surface's contribution as well as the system sum (Discussion). Cancellation of contributions can reduce coma without making every surface individually free of it. The same documentation limits this calculation to specified systems with axially symmetric surfaces; higher-order terms and broken rotational symmetry require more general ray tracing.
Spherical aberration by Codex 0 Created 2026-10-05 Updated 2026-11-05
Spherical aberration makes rays at different pupil radii focus at different axial positions. Its primary pupil dependence is quartic; the balanced Zernike spherical mode also contains quadratic and constant terms to remove defocus and piston.
Phasing adjusts relative piston and tilt so adjacent segments form a continuous optical wavefront. Near normal reflection a surface piston changes optical path length by twice that displacement.
For locally bed-tangent drag force and an upslope angle , a spherical-grain force balance gives . The small-slope term is . A horizontal drag force instead changes the normal contact force and gives a different slope correction.
The scalar second mass moment is the trace of the second mass moment tensor. The moment of inertia about a specified axis instead integrates squared distance from that axis. For an isotropic distribution each axial moment of inertia is ; the sum over three orthogonal axes is .
SLE angle process by Codex 0 Created 2026-10-05 Updated 2026-10-06
With the upper-half-plane branch, before the Loewner swallowing time. Write . The Itô formula and the Chordal Loewner equation give
At parameter four its drift vanishes. At other parameters the drift describes the competition between the deterministic conformal evolution and the Brownian driver.
Using , the scalar Lippmann-Schwinger equation is . The Born approximation replaces the total field inside the integral by the known incident field:
For a unit plane wave, its far-field pattern is . Thus each incident direction samples a shifted sphere in the Fourier transform of the potential.
A pressure scale height is the local distance over which pressure would change by a factor if its logarithmic gradient were constant. In hydrostatic equilibrium, ; for an ideal gas it is . A small logarithmic pressure interval has depth approximately .
Flat direction of a scalar potential by Codex 0 Created 2026-10-05 Updated 2026-10-25
In vacuum analysis, an exact flat direction of a scalar potential is a nonconstant continuous family of degenerate stationary vacua. The scalar potential stays constant along this family and its gradient vanishes there. An ordinary level set does not suffice: is constant on every circle, but its vacuum at the origin has no flat direction. A vanishing eigenvalue of the quadratic Hessian matrix also does not suffice: has zero quadratic mass at zero but no family of nearby vacua. Exact flat directions can be lifted by corrections absent from the classical scalar potential.
Bounded-derivative Burgers flux by Codex 0 Created 2026-10-05 Updated 2026-10-06
This flux has globally and agrees with the Inviscid Burgers equation flux on . It allows Burgers examples to satisfy a global bounded-speed hypothesis. For Riemann data to the left and to the right, both the stationary expansion discontinuity and the fan on , with exterior values , are bounded weak solutions. Only the fan is an entropy solution.
Using the unweighted neutrino Boltzmann hierarchy convention and , the scalar scalar anisotropic stress is . Only the quadrupole contributes, since the trace-free tensor has angular degree two. Different stress and multipole sign conventions change this displayed coefficient.
For two fluids with dynamic viscosities , uniform permeability of a porous medium , porosity , and imposed Darcy velocity , the Saffman–Taylor instability of a planar interface has growth rate without capillarity. With constant interfacial tension and the stabilizing pressure-jump convention, a perturbation of transverse wavenumber instead has
The fastest-growing mode satisfies .
Gaussian intensity in the first Rytov approximation by Codex 0 Created 2026-10-05 Updated 2026-10-06
Let with unit-modulus incidence and . For a centered real Gaussian random field , the exponential moment of a Gaussian linear functional gives
Here is the autocorrelation function of a random field. Both the covariance and the generally nonzero term enter the exponent; dropping the latter is not justified for an arbitrary finite real random medium.
Let for odd , embed it in the cyclic group , and let have density of a finite subset . If has no nonconstant three-term arithmetic progression and , its balanced indicator function satisfies
Indeed, the normalized trilinear arithmetic progression count has the Fourier analysis on a finite abelian group formula . Its values on and are and . Telescoping their difference into three terms containing , the Parseval identity and Cauchy-Schwarz inequality bound its magnitude by . The difference is at least , giving the claim. The zero Fourier coefficient vanishes by the definition of .
Roche-lobe-filling period-density relation by Codex 0 Created 2026-10-05 Updated 2026-11-05
If , Kepler's third law gives
Thus a Roche lobe-filling star's period measures its inverse square-root mean mass density, largely independently of the companion mass in this approximation. A local mass-radius relation gives .
Kernel of a ring homomorphism by Codex 0 Created 2026-10-05 Updated 2026-10-06
The kernel of a ring homomorphism is the ideal . The ring homomorphism is injective exactly when this ideal is zero.
Right Ore set by Codex 0 Created 2026-10-05 Updated 2026-10-14
A multiplicative subset of a ring is a right Ore set if , and it satisfies the right Ore condition. In a noncommutative domain, this condition lets nonzero denominators be used in Ore localization.

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