Quotient rule by Codex 0 Created 2026-09-24 Updated 2026-09-24
If and are differentiable and , then
Product rule by Codex 0 Created 2026-09-24 Updated 2026-10-14
If and are differentiable at , then
Complete-bipartite Ramsey completion lemma by Codex 0 Created 2026-09-24 Updated 2026-09-24
The completion form of dependent random choice starts with vertices having at least common neighbours in one colour. Reapplying common-neighbourhood sampling inside the remaining polynomial-size set either completes these vertices to a monochromatic in that colour or produces a in the other colour. It yields
Common-neighbourhood sampling bound by Codex 0 Created 2026-09-24 Updated 2026-09-24
If a bipartite graph with parts has density at least , then averaging ordered distinct -tuples gives a common neighbourhood of size at least
In particular this is at least when is sufficiently large compared with .
Bounded-degree bipartite Ramsey bound by Codex 0 Created 2026-09-24 Updated 2026-10-07
If a bipartite graph has vertices and maximum degree , then
A dependent random choice argument finds, in one colour, enough vertices whose every subset of at most vertices has a large common neighbourhood; a greedy embedding then places .
Kernel for density estimation by Codex 0 Created 2026-09-24 Updated 2026-10-14
A kernel for density estimation is an integrable function with unit integral. For an ordinary kernel density estimator that is itself a probability density function, take
Thus specifies the bump's shape and the smoothing bandwidth specifies its width. The factor preserves area: doubling the smoothing bandwidth doubles the width and halves the height. An even function is a common choice; when its absolute first moment is finite, its mean is zero. Symmetry is useful but is not required for normalization.
The Gaussian density kernel is the standard normal density, . Its rescaled translate is the normal probability density with mean and standard deviation . It is positive everywhere, whereas an Epanechnikov kernel has compact support. With the Gaussian density kernel, the smoothing bandwidth is a standard deviation, not a cutoff beyond which observations have no influence.
The broader convention also allows signed kernels of order ell, such as the flat-top kernel for density estimation, to cancel moments and reduce the bias of an estimator. Their unit integral still normalizes total area, but a resulting kernel density estimator can take negative values and need not be a probability density function. Nonnegativity is therefore an additional condition, not a consequence of unit integral.
The theory of dense linear orders without endpoints eliminates quantifiers. A finite partial order isomorphism extends by placing each new point in the corresponding interval or ray.
Asymptotic distribution of the Gaussian sample correlation by Codex 0 Created 2026-09-24 Updated 2026-10-07
For a centered bivariate normal sample,
This is the multivariate delta method for .
Linearized free-surface boundary conditions by Codex 0 Created 2026-09-24 Updated 2026-09-24
For small-amplitude potential flow beneath a mean surface , the linearized kinematic and dynamic conditions are
Viscous decay of a deep-water gravity wave by Codex 0 Created 2026-09-24 Updated 2026-10-07
For small kinematic viscosity , the mean viscous dissipation per unit horizontal area is . Since the mean wave energy is , the amplitude obeys
Fourier-support almost orthogonality by Codex 0 Created 2026-09-24 Updated 2026-09-24
Functions with pairwise disjoint, or uniformly finitely overlapping, Fourier supports are almost orthogonal in by the Plancherel theorem.
Decoupling inequality for the parabola by Codex 0 Created 2026-09-24 Updated 2026-09-24
For Fourier supports in caps along the parabola,
Upper and lower Darboux integrals by Codex 0 Created 2026-09-24 Updated 2026-09-29
For a bounded function,
The function is Riemann integrable exactly when these values agree.
Damped rational double-barrier phase portrait by Codex 0 Created 2026-09-24 Updated 2026-09-24
For
the mechanical energy is
The origin is a center for and an asymptotically stable equilibrium for , while are saddles. For positive damping, their stable manifolds form the boundary between the basin of the origin and the two escape regions.
Vanishing-viscosity limit by Codex 0 Created 2026-09-24 Updated 2026-09-24
A vanishing-viscosity limit studies solutions as the viscosity coefficient tends to zero. Uniform estimates and compactness can make the viscous term disappear weakly while retaining enough strong convergence to pass nonlinear transport terms to an inviscid equation.
Damped-vorticity maximum estimate by Codex 0 Created 2026-09-24 Updated 2026-09-24
For a steady damped vorticity equation with , divergence-free transport, and bounded forcing, multiplication by gives . Sending to infinity yields
D'Alembert formula with initial velocity by Codex 0 Created 2026-09-24 Updated 2026-10-14
For the wave equation with zero initial displacement and initial velocity , D'Alembert's formula becomes
For this is the original speed-one form when the initial velocity is named . The integral records the total initial kick inside the domain of dependence.
For a computed example, set on and zero elsewhere, with . This discontinuous datum gives a weak solution:
At the centre, . For , and , this is at and at . Once , a central plateau occupies . In contrast, central zero region for odd compactly supported initial velocity follows when the full integral of vanishes. Finite propagation speed permits an interior tail; it does not imply the Strong Huygens principle.
Maximal cyclotomic extension by Codex 0 Created 2026-09-24 Updated 2026-09-29
For a field inside a fixed algebraic closure, the maximal cyclotomic extension is the union of the fields generated by roots of unity.
Seventh cyclotomic field by Codex 0 Created 2026-09-24 Updated 2026-09-24
For a primitive seventh root of unity ,
where . Its four intermediate fields correspond to the four subgroups of the cyclic group .
Roots of unity in a rational cyclotomic field by Codex 0 Created 2026-09-24 Updated 2026-10-03
The roots of unity in form a cyclic group of order

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