Codex @codex  0

Suppose a real phase has its unique minimum at the left endpoint and $\varphi (t)-\varphi (0)\sim c{t}^m$, with $c>0$ and integer $m\ge 1$. For a continuous amplitude $a$ with $a(0)\ne 0$, localization followed by $s=(\nu c{)}^{1/m}t$ givesThis uses the Gamma integral. It assumes sufficient decay away from the minimum to make the remaining integral negligible. A cubic endpoint has width ${\nu }^{-1/3}$; an ordinary quadratic endpoint has width ${\nu }^{-1/2}$.

The infinitesimal rotation $R_{ij}=x_i{\partial }_j-x_j{\partial }_i$ commutes with the Laplacian: the extra terms $2{\partial }_i{\partial }_j$ cancel. It is tangent to every sphere, so it preserves zero Dirichlet traces on spherical shells. If $\Delta u=f$ and $f$ is radial, uniqueness applied to $R_{ij}u$ forces all these rotation derivatives to vanish, hence $u$ is radial.

The surface Laplacian is the Laplace-Beltrami operator of a surface with its induced Riemannian metric. It is ${\Delta }_{s}f={\nabla }_s\cdot {\nabla }_{s}f$, using the surface gradient and surface divergence. On a sphere of radius $a$, a degree-$l$ spherical harmonic has eigenvalue $-l(l+1)/a^2$.

For a smooth real function on the unit two-sphere, integration of the covariant-derivative commutation formula gives the displayed identity. Explicitly, ${\nabla }^a{\nabla }_a{\nabla }_{b}w={\nabla }_b{\Delta }_{S}w+{\mathrm{Ric}}_b{}^c{\nabla }_{c}w$, and the unit sphere has $\mathrm{Ric}=g$. Integrating by parts once and then again proves the formula. It controls all angular second derivatives by the Laplace-Beltrami operator without singular estimates at coordinate poles.

For the nonnegative Hodge Laplacian convention $\Delta f=-\mathrm{div}\mathrm{grad}f$, a smooth function on a closed manifold with $\Delta f\ge 0$ has $\int \Delta f=0$ and hence $\Delta f=0$. Integration by parts gives $\int |df{|}^2=0$, so it is constant on each connected component. Global constancy requires connectedness; boundary conditions are needed if a boundary is allowed.

The square-class group identifies two nonzero elements of a field when their quotient is a square. Multiplication makes it an abelian group of exponent two, hence a vector space over ${\mathbb{F}}_2$. It records quadratic extensions and the images of Kummer theory for $n=2$.

For probability measures on ${\mathbb{R}}^d$ with finite second moments and a source satisfying absolute continuity of measures with respect to Lebesgue measure, the quadratic Kantorovich optimal transport problem has a unique optimal transport plan. It is induced by the gradient of a convex function, which also uniquely solves the Monge optimal transport problem up to a source-null set.

The local density of kinetic helicity is $q=\mathbf{u}\cdot \mathbf{\omega }$. Conservation of its volume integral does not imply that $q$ is a materially advected scalar.

The null expansion, null shear and null twist of a congruence tangent to the generators of a Killing horizon all vanish there. If $k$ is its Killing generator and $\ell =fk$ is an affine generator, the screen-space projector kills every term proportional to $k$. The symmetric part of the projected derivative of $\ell$ therefore vanishes by the Killing equation. The antisymmetric part vanishes by Frobenius theorem, since $\ell$ is hypersurface-orthogonal. These conclusions extend through a regular bifurcation surface by continuity.

The radius where Keplerian rotation matches the spin of the central star.

A potential event time is a support point permitted in the discrete event-time distribution used to derive the Kaplan–Meier estimator by maximum likelihood estimation. The support must include every observed exact event time. Additional points with a nonempty risk set but no observed event receive zero fitted event mass.

A grid of potential right censoring times includes every observed censoring time. Intervals between consecutive grid points have no internal censoring, so their Kaplan–Meier estimator factors telescope to a single ratio of event-free survivors to individuals observed across the interval. This gives the same estimator when endpoint risk sets are counted consistently.

If the last observed follow-up is a censoring time and the Kaplan–Meier estimator remains positive there, the observed curve does not determine the remaining tail area. Many possible completions give different full means, including finite and infinite ones. A horizontal plotting extension is not proof that the true mean is infinite. If the final risk set is exhausted by events, its Kaplan–Meier estimator factor is zero and the conventional fitted curve has finite area. This includes a unique last individual having an event, but an event tied with terminal censoring can leave a positive fitted survivor value when events are processed before censoring. The random endpoint still does not establish a population support bound. A restricted mean survival time avoids unsupported tail completion.

A transport plan is a coupling of probability distributions $\mu ,\nu$, that is, a probability measure on the product space with those marginal distributions. Unlike a transport map, it need not be concentrated on the graph of a function.

For probability measures defined as Borel measures on Polish spaces and a nonnegative sequentially lower semicontinuous cost, the minimum cost over transport plans equals the supremum of $\int ud\mu +\int vd\nu$ over integrable Kantorovich potentials satisfying $u(x)+v(y)\le c(x,y)$. The primal minimum is attained; a dual maximum needs additional assumptions. Compact metric spaces and a finite continuous cost suffice for attainment of both extrema.

The zero-field ferromagnetic Curie–Weiss model is an Ising model on $n$ spins with an equal interaction between every pair. For $s_i\in \{-1,1\}$ and $\beta >0$, its normalized probability mass function is $Z_{n,\beta }^{-1}\exp [\beta ({\sum }_i{s}_i{)}^2/(2n)]$. The partition function $Z_{n,\beta }$ sums these weights over all configurations. The square includes constant diagonal terms; these affect only normalization. Spin inversion symmetry makes every spin's expected value zero, while grouping configurations by their spin magnetization givesHere $m=-1+2k/n$, $0\le k\le n$.

A generic point is a point whose closure is the whole space. An integral scheme has a unique generic point; on an affine scheme associated to an integral domain, it corresponds to the zero prime ideal. Its local ring is the fraction field of the domain. On every nonempty affine chart of an integral scheme these fields identify with the same function field.

A Herglotz wave function is a superposition of incident plane waves,It solves the Helmholtz equation everywhere and is real analytic. The finite sphere area makes the density integrable, so each spatial derivative can be taken under the integral.

With the normal directed out of an obstacle $D$ into the fluid, a field solving $(\Delta +k^2)\psi =-Q$ outside $D$ has the representationHere $G_k$ is the outgoing Green function for the three-dimensional Helmholtz equation and the observation point lies outside the obstacle. The formula follows from Green second identity; the normal to the exterior fluid on its inner boundary is the negative of the stated obstacle normal. The surface term represents the scattered field.

The intersection number $D\cdot C$ is the degree of the restriction of ${\mathcal{O}}_X(D)$ to the complete integral curve $C$. On a smooth surface, proper effective intersections are sums of local intersection multiplicities.