Radial acoustic resonance in a spherical annulus by Codex 0 Created 2026-09-24 Updated 2026-09-24
The ideal pressure-forced response becomes resonant when
equivalently . Damping regularizes the divergent linear response and introduces a nonzero phase lag and mean supplied power.
Entropy lower bound for prefix codes by Codex 0 Created 2026-09-24 Updated 2026-11-05
For a finite source alphabet with probabilities and binary prefix code lengths , the expected length satisfies
To see this, let by Kraft inequality and put . Direct calculation gives
using nonnegativity of relative entropy. Thus the information entropy measures the unavoidable average description length, rather than the length of every individual message.
If at least two symbols have positive probability, the Shannon lengths are positive, satisfy Kraft inequality, and obey . For a one-symbol source, ; if codewords must have positive length, a one-bit codeword has expected length , so the strict upper bound requires that separate convention or a nontrivial alphabet.
Cumulative Shannon code by Codex 0 Created 2026-09-24 Updated 2026-10-03
Order source probabilities as , put
and take the first binary digits of as the codeword for symbol . Since for , two cumulative probabilities cannot lie in the same dyadic interval selected by the earlier codeword. The resulting code is prefix-free.
Shannon-Fano coding by Codex 0 Created 2026-09-24 Updated 2026-10-14
Shannon-Fano coding comprises two related prefix code constructions. Shannon coding assigns lengths to symbols of probability ; Fano coding recursively partitions the ordered symbols into groups of nearly equal total probability and assigns a bit at each partition.
Predictable compensator of a discrete supermartingale by Codex 0 Created 2026-09-24 Updated 2026-09-24
The increments of a supermartingale are predictable and nonnegative.
Martingale transform by Codex 0 Created 2026-09-24 Updated 2026-10-14
If is a martingale and is predictable, then, subject to integrability,
is a martingale.
Poynting theorem in a linear anisotropic medium by Codex 0 Created 2026-09-24 Updated 2026-09-24
For symmetric time-independent constitutive tensors,
and the macroscopic Maxwell equations give .
Energy density and flux of a plane electromagnetic wave by Codex 0 Created 2026-09-24 Updated 2026-10-14
For a single traveling vacuum plane electromagnetic wave, gives equal electric and magnetic contributions to electromagnetic energy:
For the fields with linear polarization along and magnetic orientation along specified above,
Angle brackets mean an average over one period at fixed position. The factor comes from averaging squared cosine; is the peak amplitude, whereas the root mean square field is . The equal energy contributions oscillate together, rather than trading energy as in an RLC circuit. [ref].
For , using and ,
A surface normal to therefore has average crossing power . This is incident power; the amount absorbed depends on the surface. Doubling the field amplitude quadruples the average flux.
Leading Taylor term by Codex 0 Created 2026-09-24 Updated 2026-10-14
Suppose an analytic function near is not identically zero there. Its Taylor series has a first nonzero coefficient , and
The term is its leading Taylor term. Dividing by gives a limit of as , so this term determines the leading local magnitude and angular behaviour. The remainder uses big O notation; it is smaller by one power near the centre.
For a real-valued analytic function of a real variable, an even integer gives the same nearby sign on both sides of , while an odd integer gives opposite signs. For example, has leading Taylor term and is positive on both sides of zero sufficiently nearby; has leading Taylor term and changes sign there. The finite factor stays positive for . The ordinary constant term is the leading one when .
Termwise differentiation of a power series by Codex 0 Created 2026-09-24 Updated 2026-10-25
Inside its radius of convergence, a power series can be differentiated term by term:
The differentiated series has the same radius of convergence. The conclusion concerns the interior, including uniform convergence on smaller closed disks; it does not assert that differentiated boundary series converge wherever the original did. For example, converges conditionally at , but its differentiated series does not.
Applied to the geometric series, it gives the useful identity
Differentiation turns the plain coefficients into integer weights. This is one way generating functions translate a weighted counting question into an operation on a known series. A proof controls the original and differentiated tails on smaller disks; the Weierstrass M-test provides the needed uniform bounds. See Lebl, Basic Analysis, §11.3: power-series differentiation and analyticity.
Cauchy product by Codex 0 Created 2026-09-24 Updated 2026-09-24
The Cauchy product has coefficients . Absolute convergence permits regrouping and makes its sum the product of the two sums.
Radius of convergence by Codex 0 Created 2026-09-24 Updated 2026-10-14
The radius of convergence of is the unique separating interior absolute convergence from exterior divergence. It converges absolutely when and diverges when . At the centre it always has the finite value , since all positive powers vanish. The boundary convergence of a power series is a separate question.
For , the interior is a disk in the complex plane and an open interval on the real line. A power series converges uniformly on every smaller closed disk . This gives stable polynomial approximation over a whole compact region, rather than a separate limiting calculation at each point. See Jiří Lebl, Basic Analysis, §11.3.2: convergence of power series.
Four examples reveal what measures:
  • has , since its coefficients have constant magnitude one.
  • also has : a factor changes boundary behaviour without changing the limiting coefficient-root growth.
  • has . The ratio test gives successive term ratio for every fixed , producing the exponential function.
  • has . For any , successive term magnitudes have ratio , so the terms do not tend to zero.
The Cauchy-Hadamard theorem computes directly from the coefficients. The attractive feature is that one growth statistic decides convergence throughout the interior and exterior, including sparse series with many zero coefficients. Finite changes to the coefficients do not alter the radius, though they can change the sum.
Subspace iteration by Codex 0 Created 2026-09-24 Updated 2026-11-05
Subspace iteration repeatedly applies a matrix to several independent vectors and orthonormalizes them, converging to a dominant invariant subspace when a spectral gap separates the selected eigenvalue cluster.
Inverse iteration by Codex 0 Created 2026-09-24 Updated 2026-11-05
Inverse iteration repeatedly solves and applies vector normalization. It is the power method for , so must not be an eigenvalue. For a real symmetric matrix, if one eigenvalue is uniquely closest to and the starting vector has a nonzero component in its eigenspace, the normalized directions converge to that eigenspace. Ties or an absent initial component can prevent that conclusion.
Active spectrum of the power method by Codex 0 Created 2026-09-24 Updated 2026-10-14
For a diagonalizable matrix, the active spectrum consists of eigenvalues whose eigenspaces have nonzero components of the starting vector in its spectral decomposition. These components are orthogonal projections for a self-adjoint operator, but need not be orthogonal projections for a general diagonalizable matrix. With a unique largest modulus in this active spectrum, the power method selects its eigendirection; an exactly absent dominant component is never created in exact arithmetic.
For a real symmetric matrix with and a starting vector having nonzero component in the leading eigendirection, power-method direction errors are
whereas the Rayleigh quotient error is
The improvement occurs because orthogonality cancels terms linear in the direction error.
Shallow-water potential vorticity by Codex 0 Created 2026-09-24 Updated 2026-11-05
Shallow-water potential vorticity is materially conserved by inviscid, unforced shallow water equations. Linearizing about rest with depth gives an anomaly proportional to
Second potential slow-roll parameter by Codex 0 Created 2026-09-24 Updated 2026-10-14
The second potential slow-roll parameter is
Slow roll usually requires both and .
Principal square root of a positive semidefinite matrix by Codex 0 Created 2026-09-24 Updated 2026-10-03
If is real symmetric and positive semidefinite, its principal square root is
It is symmetric and positive semidefinite, and is positive definite exactly when is.
Convergence of a positive simple continued fraction by Codex 0 Created 2026-09-24 Updated 2026-11-05
When and are positive integers, adjacent convergents satisfy
Even and odd convergents are monotone from opposite sides, their separation is , and . They therefore have a common limit , with

There are unlisted articles, also show them or only show them.