For the negative-flux viscous Burgers equation, the Cole-Hopf transformation uses . Initial N-wave data give inside and one outside. Completing the square in the heat kernel convolution gives, with ,
The Gaussian interval masses and their exponentially weighted tails must be treated together when taking the small-diffusion limit.
For a dry, homogeneous ideal gas in hydrostatic equilibrium, a displaced parcel undergoing an adiabatic process follows , where is specific heat capacity at constant pressure. At a common pressure its buoyancy depends on its temperature difference from the environment, giving . Negative means growing displacements; zero means neutral stability. This is the homogeneous dry limit of the Schwarzschild criterion.
Radial buoyancy frequency Created 2026-10-06 Updated 2026-10-18
The radial buoyancy frequency describes restoration of a radially displaced parcel in a stratified astrophysical disk. With a dimensionless specific entropy , its square is proportional to . Negative means an adverse entropy stratification, but epicyclic motion can still stabilize the parcel. For smooth thin disk profiles, is usually of order .
For total exposure and weighted average , the best affine mean squared error estimate of the conditional mean is , where . If the coefficients sum to , their error is . Cauchy-Schwarz inequality minimizes the latter term at , and a one-dimensional quadratic minimization then gives .
Zeros trick 2026-10-06
A zeros trick implements a positive likelihood function by adding an observed zero with Poisson distribution mean . If this mean is nonnegative throughout the parameter support, its likelihood is and yields the intended Bayesian posterior. The constant must be independent of the parameter; arbitrary clipping changes the target.
Buchstab theorem 2026-10-06
For each fixed , the number of z-sieved numbers at most satisfies as . The fixed- asymptotic does not extend to .
The Buchstab function takes values both above and below on every interval of length one in . The equation propagates any fixed sign forwards; the rapid decay to zero then forces an impossible identically zero tail.
Almost surely, no restriction of a Brownian motion path to an interval of positive length is a monotone function. On a fixed interval, monotonicity forces the independent centered normal random variables given by every dyadic subdivision's increments to have the same sign. The probability is at most for a subdivision into pieces. A countable union over rational intervals gives the simultaneous pathwise assertion.
The times of local maxima of a Brownian motion path are dense in the half-line almost surely, and every such local maximum is a strict local maximum. Density follows from nowhere monotonicity of Brownian motion and the extreme value theorem. Strictness follows by checking that maxima over separated rational compact time intervals are unequal; the increment across their gap supplies an independent nondegenerate normal distribution.
A longitudinal Brownian field is a centered Gaussian random field with
where is a valid transverse covariance kernel. For each fixed it is a scaled Brownian motion, and increments over disjoint longitudinal intervals are independent. Such a field drives a Markov model of wave propagation in a random medium. Its formal longitudinal derivative is Gaussian white noise in , with transverse correlations described by ; it is not in general a Brownian sheet.
For standard Brownian motion and deterministic , the process , , is standard Brownian motion on that interval in its own natural filtration. Disjoint reversed time intervals give independent centered normal increments with the correct variances. This is different from an arbitrary random-time shift, which can depend on future data. It is also different from the time inversion of Brownian motion transformation .
Integrated square of Brownian motion Created 2026-10-06 Updated 2026-10-07
The quadratic functional is finite almost surely. The Brownian half-integer sine expansion writes it as a sum of independent scaled squared standard normals. Its mean is , and its Laplace transform is determined by a hyperbolic cosine product.
A Laplace transform can grow exponentially as . At an evaluation time , multiplying by does not automatically permit closing the inverse contour to the left. Either retain the growth-bearing contour pieces, use a causal time convolution, or justify a deformation with the time-truncated transform. Resolvent-pole information alone is insufficient.
Braiding 2026-10-06
The natural tensor interchange isomorphism in a braided monoidal category, constrained by the two hexagon axioms.
Braided monoidal functor 2026-10-06
A monoidal functor between braided monoidal categories compatible with their braidings: .
Braid category 2026-10-06
The braided monoidal category with objects , endomorphism groups , no arrows between unequal objects, tensor given by juxtaposition, and block-crossing braiding. Its tensor is strict.
Free braided monoidal category on one object Created 2026-10-06 Updated 2026-10-25
The braided monoidal category generated by one object: objects are parenthesized tensor expressions in that object and the unit, and morphisms are structural isomorphisms and crossings subject to precisely the monoidal category and braiding axioms.
Braid group relations Created 2026-10-06 Updated 2026-10-14
The generators commute when and satisfy . Unlike a symmetric-group presentation, there is no relation.
For and positive pure-power fluxes, the similarity solution exponents are , and . Increasing volume and momentum and decreasing positive buoyancy flux require . At fixed nonzero the endpoint coefficient limits are singular.
An arithmetic bounded formula uses only quantifiers bounded by arithmetic terms, such as and , with the bound not containing the quantified variable. Existential bounded representation of a primitive recursive function places all unrestricted existential variables in a single outer block.

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