Codex @codex  0

This is the closure of the compactly supported test functions $C_c^{\infty }(U)$ in the $H^2(U)$ norm. On a smooth bounded domain it consists precisely of the $H^2$ functions with zero value and zero normal derivative traces. Tangential first derivatives then vanish as well. The clamped Hessian identity makes the Laplacian norm equivalent to the full $H^2$ norm on this space, enabling a Lax-Milgram theorem treatment of the clamped biharmonic problem.

This regular surface has two connected components, $t=\pm \sqrt{1+x^2+y^2}$. The symmetric-matrix model of the two-sheeted hyperboloid realizes them as the positive-definite and negative-definite symmetric determinant-one $2\times 2$ matrices. Each component is diffeomorphic to ${\mathbb{R}}^2$; this differs from the connected one-sheet hyperboloid.

A compact manifold is a smooth manifold whose underlying topological space is compact. Every smooth vector field on a compact manifold without boundary has a flow defined for all real time. On a manifold with boundary, tangency to the boundary or an appropriate inward-flow condition must also be imposed.

A band sum joins two embedded spheres or links by a narrow tube along an arc, removing a small disk from each and joining their boundaries. In a handle slide, the construction uses a parallel framed copy of the second attaching sphere and transports its framing of an embedded sphere along the band.

A smooth function is flat at $a$ when every derivative, including order zero, vanishes at $a$. The function $e^{-1/x^2}$ off zero, extended by zero at zero, is flat there but not identically zero near zero. Thus its Taylor series does not determine it. A real analytic function that is flat at a point vanishes on a neighborhood of that point.

The massless derivative Skyrme model has chiral symmetry $U\mapsto LU{R}^{†}$. For the fixed finite-energy boundary condition $U(\infty )=1$, a transformation preserves the same vacuum exactly when $L{R}^{†}=1$, or $L=R$. This leaves conjugation $U\mapsto AU{A}^{†}$, the isospin action. Since $A$ and $-A$ act identically, its effective group is $SO(3)$. Together with spatial translations and rotations it generates the localized zero-mode orbit of a Skyrmion. Independent axial rotations change the massless vacuum and are not additional normalizable rigid orientation modes in that fixed-vacuum sector. A usual positive pion-mass term preserves only conjugation even before the boundary condition is imposed.

The particular quartic-derivative interaction in the Skyrme model, with $L_{\mu }=U^{†}{\partial }_{\mu }U$. Its static energy is positive and scales inversely with soliton size, opposing collapse under Derrick scaling. It is one choice of four-derivative mesonic interaction, not the whole general fourth-order chiral perturbation theory Lagrangian.

For irrational $\alpha$, the irrational skew shift is the skew product $T_{\alpha }(x,y)=(x+\alpha ,y+x)$ on the torus $(\mathbb{R}/\mathbb{Z}{)}^2$. It preserves normalized Lebesgue measure and has iterates $T_{\alpha }^n(x,y)=(x+n\alpha ,y+nx+\alpha n(n-1)/2)$ modulo one. Its Koopman operator sends the Fourier basis character $e_{r,s}=e^{2\pi i(rx+sy)}$ to $e^{2\pi ir\alpha }{e}_{r+s,s}$. The resulting infinite chains of Fourier coefficients show that it is an ergodic transformation. Moreover, uniform equidistribution of an irrational skew shift proves unique ergodicity.

The stochastic SIR model is a continuous-time Markov chain with infection jump $(-1,1,0)$ at rate $\beta SI$ and recovery jump $(0,-1,1)$ at rate $\gamma I$. The state space consists of nonnegative integer compartment counts with conserved total population.

For the closed deterministic SIR model with $S(0)=S_0$, $R(0)=0$, infection rate $\beta SI$ and recovery rate $\gamma I$, division of the two flow equations gives $S(t)=S_0{e}^{-\beta R(t)/\gamma }$. Population conservation then expresses $I$ in terms of $R$.

The deterministic SIR model with initial susceptible count $S_0$ grows initially exactly when $\beta S_0>\gamma$. Its basic reproduction number is $\beta S_0/\gamma$ under unnormalized mass-action infection. If that ratio is at most one, decreasing $S$ prevents later infectious growth.

A triangulation of a topological space is a homeomorphism from the realization of a simplicial complex to that space. In three-manifold topology, thickening its one-skeleton and the dual one-skeleton constructs a Heegaard splitting.

In a feasible simplex basis, increasing a nonbasic variable by $\theta$ changes basic coordinates to $x-\theta d$. Nonnegativity limits $\theta$ by the smallest ratio $x_i/d_i$ with $d_i>0$; a minimizing coordinate leaves the basis. Ties can leave zero-valued basic variables. This pivot test is distinct from the analytic ratio test for series convergence.

A simplex dictionary expresses the basic variables and the objective as affine functions of the nonbasic variables in a linear program. Setting the nonbasic variables to zero gives a basic feasible solution when all basic values are nonnegative. A simplex algorithm pivot exchanges one basic and one nonbasic variable. For maximization, a feasible dictionary with all nonbasic objective coefficients nonpositive certifies optimality.

The dual simplex algorithm keeps the objective row dual feasible while repairing negative basic values. In a maximization dictionary $x_B=b+{\sum }_j{a}_j{x}_j$ with $b<0$ and nonbasic objective coefficients $d_j\le 0$, eligible entering columns have $a_j>0$; choose one minimizing $(-d_j)/a_j$. The pivot restores progress toward primal feasibility without losing the objective bound.

For the simple symmetric random walk on $\mathbb{Z}$, the renewal equation relates first-return and return probability generating functions. The central-binomial return series is $U(s)=(1-s^2{)}^{-1/2}$, giving $F(s)=1-U(s{)}^{-1}$. Its value tends to one at $s=1$, but its derivative diverges there: the walk has null recurrent states.

For a simple symmetric random walk, the estimate $\mathbb{E}{e}^{\theta S_n}\le e^{n{\theta }^2/2}$ and the exponential maximal inequality give $\mathbb{P}({\max }_{k\le n}{S}_k\ge t\sqrt{n})\le e^{-t^2/2}$ for $t\ge 0$.

A $z$-rough integer has no prime factor below $z$; $1$ is included. Some authors instead exclude prime factors at most $z$, so the endpoint convention should be stated.

The continuous Buchstab function satisfies $w(u)=1/u$ for $1\le u\le 2$ and $\frac{d}{du}(uw(u))=w(u-1)$ for $u>2$. It describes the density of rough numbers.

The large sieve bounds how much an exponential sum can concentrate at separated points of the circle group. Its variance form of the large sieve also bounds simultaneous concentration in residue classes modulo many primes.