A grey atmosphere model with mass absorption coefficient proportional to pressure. Under hydrostatic balance, gives downward optical depth . For , a non-scattering optically thick column emits hemispheric radiant flux . The angular factor follows from integrating ray attenuation over the upward hemisphere; a vertical-ray approximation omits it. The extension of the emitting-depth integral to infinity requires fixed as .
Probability density Created 2026-09-24 Updated 2026-10-14
A probability density is a nonnegative function whose integral over an event gives its probability.
If has a joint probability density , the product has the displayed probability density function, interpreted almost everywhere. For fixed , substitute in the integral defining ; the absolute Jacobian determinant is . The Tonelli theorem then exchanges the nonnegative integrals. The line has two-dimensional Lebesgue measure zero, so its omission creates no probability mass. A density may be infinite at exceptional points without creating an atom.
Probability distribution Created 2026-09-24 Updated 2026-10-18
A probability distribution describes how the values of a random variable are allocated among possible outcomes. More precisely, the law of a random variable assigns each measurable set the probability
It is a probability measure on the values of . The underlying experiment can be more elaborate than the output: different experiments may produce the same probability distribution. The law of a random variable retains the probabilities needed to answer questions about that output. [ref].
For a finite example, let take values with probability mass function , , . Its probabilities sum to one. The event has probability , whereas has probability : including one endpoint matters when it carries positive probability.
For a contrasting random variable , choose the probability density function on , and zero elsewhere. It integrates to one. Now , while every single outcome has probability zero. The probability density function can have height : probabilities come from integrals over outcome ranges.
Figure 1. . Left: takes values with probability masses , so its cumulative distribution function jumps at those values; open and filled markers show the excluded and included heights at a jump. Right: has probability density function on the interval and cumulative distribution function there. The shaded integral over and the corresponding cumulative distribution function increase both equal . Details.
The cumulative distribution function answers all threshold questions for a real random variable, regardless of whether there are jumps or a probability density function. A quantile function reverses the direction of the question: given a cumulative probability level, find a threshold. This connects descriptive summaries to inverse transform sampling, which constructs a chosen probability distribution from a uniform distribution.
For independent random variables with the uniform distribution on , use the probability density of a product of random variables and integrate over . The displayed probability density function is zero off and has integral one. More generally, for independent and identically distributed factors with this uniform distribution, satisfies
The expectation of a product of independent random variables proves these identities directly.
An optically thin spherical source with volume emissivity has surface brightness
Substitute in the line-of-sight integral and evaluate using the beta function. The condition is convergence at large distance. A core or finite outer boundary changes the projection near that boundary; the stated scaling applies between those scales.
Let , with . Since , the Cauchy-Schwarz inequality gives . Thus differentiability in quadratic mean suffices to differentiate bounded density integrals, even when the density itself has no useful pointwise derivative.
Quadrature rule Created 2026-09-24 Updated 2026-10-14
A quadrature rule approximates an integral by a finite weighted sum of sampled function values:
The quadrature nodes specify where to sample, and the quadrature weights specify how much each sample contributes. The density specifies the target integral, whereas the discrete quadrature weights belong to the approximation. Ordinary numerical integration has . Gaussian quadrature and the midpoint quadrature rule choose interior quadrature nodes; the trapezoidal rule includes endpoints.[ref]
For ordinary numerical integration, exactness on the constant function requires ; exactness on additionally requires . These two checks make the quadrature rule exact for every affine function. For example, both the midpoint quadrature rule and trapezoidal rule give for . Testing progressively higher polynomial degrees defines the degree of precision of a quadrature rule. Exactness describes a class of integrands, rather than promising exact results for every function.
Composite midpoint quadrature rules and composite trapezoidal rules apply a simple quadrature rule on every panel of a partition of an interval. This buys accuracy by shrinking the panels while keeping the elementary formula fixed. For continuous functions sampled exactly, their quadrature errors tend to zero as the largest panel width tends to zero. The familiar second-order bounds require stronger assumptions about derivatives. The signed approximation error used here is ; some sources define quadrature error with the opposite sign, so the convention must accompany any formula.
Quantum escape of a current-biased Josephson junction is decay of a trapped collective quantum phase state through a barrier in the tilted Josephson washboard potential. This barrier lies in the potential energy of an electrical circuit coordinate. Transfer of Cooper pairs across the physical insulating layer already supplies the Josephson coupling energy; it does not by itself demonstrate this further collective escape. Single-electron superconducting tunneling is a third, distinct process.
At higher temperature , thermal activation instead lifts the coordinate over the barrier. In the rare-escape regime its characteristic form is the Kramers escape rate
where is the Boltzmann constant and the prefactor depends on damping and thermal equilibration. Cooling suppresses this route. For a quasistationary energy level at energy , the leading conservative WKB approximation instead has
with the two turning points bracketing the forbidden barrier. This is an exponential estimate requiring a large action compared with , slow escape compared with intrawell motion, and weak environmental corrections. It is not a complete rate prediction near the barrier top or with substantial damping.
The familiar cubic-barrier exponent can be checked independently. Choose , with . Its top is at and . At the well-bottom reference energy ,
Substitution reduces the dimensionless integral to . This leading semiclassical action uses a cubic potential and a well-bottom reference; actual ground-state escape also needs the zero-point correction, prefactor and environment. In the chosen washboard example it gives after matching the exact barrier and curvature. This matching is an illustrative approximation, not an exact action integral for the cosine potential.
Escape need not yield a sustained voltage: the coordinate can become trapped again. The running-state readout assumes sufficient underdamping and bias to avoid such retrapping. The parallel model has quality factor ; large makes energy loss per oscillation small. Low-temperature rate saturation alone cannot distinguish quantum tunnelling from unwanted heating or external noise.
Quasistatic process 2026-10-14
A quasistatic process is an ideal limit in which a changing thermodynamic system passes through a sequence of states arbitrarily close to thermodynamic equilibrium. Its intermediate pressure, temperature and volume are therefore well defined and obey its equation of state. Driving must be slow compared with the system's own equilibration, rather than merely taking a long time on a clock. A reversible thermodynamic process additionally allows both system and surroundings to be restored without net change; friction can produce entropy even in a quasistatic process.[ref]
For a computed example, take a fixed amount of substance of ideal gas in a sealed cylinder with a frictionless piston, in contact with a heat bath at absolute temperature . Reduce the external load in infinitesimal steps so that the piston expands from to . In the reversible limit, the gas pressure exceeds the external pressure by an infinitesimal amount during expansion, and the heat transfer occurs across an infinitesimal temperature difference. Exact mechanical equilibrium would give no driving force; the limiting imbalance supplies motion while preserving equilibrium intermediate states.[ref]
Along this reversible isothermal expansion, the ideal gas law gives
Here is the molar gas constant; specifying fixes an energy scale, without choosing and separately. The initial and final equilibrium states are and . Count work delivered to the surroundings as positive. The reversible work is the shaded area beneath the pressure-volume curve:
The integral of supplies the natural logarithm. Since internal energy of an ideal gas depends only on temperature, ; the first law of thermodynamics, , gives to the displayed precision. The heat bath replaces the energy delivered as work.[ref]
Figure 1.
Reversible isothermal expansion: work is the area beneath the equilibrium pressure curve
. Fixed amount of substance of ideal gas, with and . The blue curve gives every intermediate equilibrium state; its shaded area is . The arrow indicates expansion, without specifying a time dependence. Details.
Now start from the same initial state, but abruptly lower the external pressure to the constant value . There is a finite initial pressure imbalance, so this is an irreversible expansion rather than a quasistatic process. Assume the piston begins and ends at rest, has no net change in stored energy, and has no external friction; relaxation occurs within the gas and its heat bath. After motion has settled and the heat bath has restored temperature , mechanical equilibrium and the ideal gas law give . The work delivered to the constant load is
This work follows directly from load force times piston displacement, using for piston area . Intermediate gas states need not have a single equilibrium pressure or temperature. In particular, neither at the bath temperature nor describes the actual gas during this irreversible motion. The rectangle below plots the known external load; its upper edge is not an equilibrium gas path.
Figure 2.
The same equilibrium endpoints give different work for reversible and constant-load expansion
. The blue curve is the reversible ideal gas path. The dashed orange line is constant external pressure, whose rectangle gives of load work. The additional blue shading is available in the reversible case. Black points mark the common gas endpoints; the open orange point marks the initial external load, and the dotted gap indicates the initial imbalance. No irreversible internal gas path is drawn. Details.
The entropy accounting makes the difference precise. Because entropy is a state function, both expansions have the same gas entropy change, computed along the reversible isothermal expansion:
The thermal reservoir stays at and loses heat , so . Assume the ideal load stores work without an entropy change. The combined entropy production is therefore
No numerical entropy unit is implied by alone: or must also be specified. The lost work opportunity is for this comparison. This calculation uses equilibrium endpoints and the reservoir's temperature, without assigning equilibrium intermediate states to the irreversible gas. [ref]
For another boundary choice, let the same ideal gas expand into an initially evacuated compartment of volume inside a rigid, insulated vessel of total volume . Removing the partition causes free expansion: no load is moved and no heat crosses the outer boundary, so and . After equilibration the temperature is again , the pressure is , and the gas entropy has increased by . The outer vessel has fixed volume; the gas's accessible volume doubles. Restoring the initial gas state requires compression and removal of heat, changing the surroundings. Equal endpoints do not make free expansion reversible. [ref]
A slowly moving piston with dry friction supplies a different caution: its gas can remain arbitrarily close to thermodynamic equilibrium, yet rubbing still converts work into heat and produces entropy. If the frictional force has a nonzero slow-motion limit, its dissipated energy over a fixed travel does not vanish with speed. Reversing the motion reverses friction, so infinitesimally changing the external load cannot retrace the same operation and restore the surroundings. The heat capacity calculations additionally exclude friction and other dissipative work.[ref]
The usefulness of a quasistatic process is that it replaces detailed motion by a readable sequence of equilibrium states. An equation of state and an integral then turn a pressure-volume drawing into an energy budget. The beautiful distinction is that internal energy and entropy depend on the endpoints, while heat and work record how the change was performed. Reversible benchmarks expose how much work an irreversible device sacrifices, while entropy production explains why simply making it slower need not recover that opportunity.
Assign an arbitrary finite value at the origin. Polar integration and the substitution rule reduce the joint L1 norm exactly to . Near zero, gives ; at infinity, gives . These are integrable when and , respectively. Their explicit integrals give the displayed bound. This is a planar version of sine power kernel integrability, with the radial area element determining the exponents.
In geometrical optics, suppose radiation has a nonnegative radiance whose directional contributions add as power. Here is the actual propagation unit vector, is a solid angle element, and the collecting oriented surface has chosen unit normal . Assume the following integrals exist. The outward and inward radiant fluxes are
Both quantities are nonnegative; their difference is the signed net radiant flux. The dot product supplies the cosine of the angle with the unit normal, hence the projected area. For incoming radiation the outward unit normal gives a negative dot product; the minus sign makes the collected power positive. Measuring the incoming angle from a source-facing unit normal instead gives the familiar positive . The units check is .
Equivalently, the incoming surface integral is with local irradiance ; the emitted part of is with radiant exitance . For a small flat patch and a narrow accepted cone, nearly constant radiance and angle give . This approximation requires uniformity across the patch and cone. Direction-independent outgoing radiance over a whole hemisphere gives the different exact result , by Lambert's cosine law and the spherical coordinates calculation in radiant exitance. Replacing the cosine-weighted integral by the hemisphere's solid angle would double the answer.[ref]
These radiance formulas presume a description in additive directional power; they do not reconstruct arbitrary coherent wave interference from separate ray contributions. For general electromagnetic fields, the signed instantaneous power crossing an oriented surface is , using the Poynting vector ; optical measurements commonly average over many wave periods. A zero net radiant flux can conceal equal nonzero incoming and outgoing radiant fluxes.
Radiation pattern 2026-10-24
A radiation pattern specifies emitted power per solid angle as a function of direction. For a slowly moving point electric charge with acceleration , . Its integral over directions is the Larmor formula; its fore-aft symmetry implies zero net radiated three-momentum in the instantaneous rest inertial frame. Directional detector power includes the distinction between source emission time and arrival time.
A bounded continuous factor and an integrable factor give a bounded velocity-integral gain on bounded continuous functions, with bound . The dominated convergence theorem proves joint continuity of the velocity integral. Combined with damped transport, the factorial bound for a Volterra iterate proves existence on arbitrary finite time slabs.
For , the natural logarithm satisfies
To prove it, put . Then and the derivative is . More precisely,
This positive integral controls errors in symmetric approximations to the logarithm. After writing , the bound is for ; the inequality reverses for by replacing with .
Reachable set 2026-10-14
The reachable set collects all endpoints attainable from at exactly by admissible control inputs. If arrival any time up to is allowed, use , with . These definitions differ: a general dynamical system may drift away after early arrival, so waiting need not preserve the target. The reachable set is always relative to a declared input class and any constraints on the entire path.
For the double integrator starting from , now require measurable functions as control inputs with almost everywhere. Write for its endpoint at . Two integrals determine the endpoint:
Our mathematical example has the exact reachable set
To see the upper boundary, fix : put first and last, switching at . This maximizes the weighted integral for position because early commands have the largest weight ; the required net velocity fixes . Formally, has the same sign as this maximizing command, so changing to any other admissible command with the same integral cannot increase . Reversing the order gives the lower boundary. Pointwise convex combinations of these two commands preserve and attain every intermediate , so the formula describes the whole region, not merely a bound. The extreme commands are bang-bang control.
Figure 1.
An amplitude bound limits endpoints; a shared input can remove a state direction entirely
. Analytic mathematical examples, not measured data. Left: the exact double integrator reachable set from rest at with . Each curved boundary comes from one switch between and . At final velocity , the available position interval is , excluding . Right: only reaches the diagonal from zero. Unrestricted inputs fill the entire line; the same bound at leaves only its segment from to . Details.
In particular, the bounded double integrator can move from rest to position and rest again exactly when . Its minimum duration is therefore in these normalized units. With freely chosen time every rest-to-rest distance is attainable; with a fixed deadline many are excluded. Changing the amplitude bound to with scales this condition to . This shows why specifying the controls matters even when the Kalman rank criterion gives full rank of a matrix.
In closed quantum control, a density operator reachable set lies inside its unitary orbit of a density operator, since coherent evolution preserves the spectrum. That orbit need not be fully reachable under the available control inputs.
Real analysis Created 2026-09-24 Updated 2026-10-14
Real analysis studies limits, continuity, differentiation, integration, and convergence of sequences and functions taking values in the real numbers. Its central question is how finite approximations determine an exact answer: what does an arbitrarily small error mean, and which operations respect that error? A derivative is a limit of quotients, while a Riemann integral is obtained from increasingly fine Riemann sums. Both need conditions that make the answer independent of the approximations chosen.
Two organizing ideas are completeness of the real numbers, which ensures that suitable approximations have a destination, and uniform convergence, which controls approximation error over an entire domain. Pointwise convergence supplies separate guarantees at separate inputs; uniform convergence supplies one guarantee for all inputs. This distinction explains why replacing an approximating function by its limit can preserve continuity or integrals under appropriate hypotheses, yet fail without them.
For historical context, Cauchy's 1821 Cours d'analyse explicitly discusses convergence of series. Its Note VII treats double series and compares summing by rows and by columns under stated convergence assumptions: controlling an infinite process was already a concrete problem. This is historical context for questions about limits, rather than an attribution of the modern definitions below. [ref].
Real bounded Fourier modes of the Klein-Gordon equation Created 2026-10-18 Updated 2026-10-20
With inverse-time convention , the half-line Klein-Gordon equation has spatial normal modes , where above threshold and below it. For the branch even in , reality above threshold requires . Below threshold boundedness eliminates , and reality requires . At threshold the spatial differential equation instead has the basis ; boundedness retains only the constant mode. A spectral integral with ordinary integrable functions as amplitudes ignores the isolated threshold points, while distribution amplitudes can represent the surviving monochromatic constant-spatial modes.
Rectangular duct flow 2026-10-25
Rectangular duct flow is steady flow of a Newtonian fluid down a straight rectangular pipe under a constant axial pressure gradient . For stationary walls and unidirectional flow, incompressibility eliminates axial dependence and the Navier-Stokes equation becomes a two-dimensional Poisson equation with zero Dirichlet boundary conditions. Subtracting a plane Poiseuille flow profile leaves a harmonic function that repairs the side-wall values using separation of variables. Uniqueness follows from Green's first identity: the difference of two solutions has zero boundary values and zero integral of the squared gradient, and hence vanishes.
Rectangular function 2026-10-20
The rectangular function has value one on and zero on . Endpoint values are convention-dependent and do not affect its ordinary integrals or Fourier transform. Shifts, amplitude changes and time rescaling produce a rectangular pulse of arbitrary height, center and duration. With , for the width- pulse has Fourier transform , with value at zero by a limit. Its convolution with itself is a rescaled triangular function, on and zero outside, because the convolution measures the overlap length of two intervals.