The real Lie algebra of the special unitary group consists of traceless skew-Hermitian matrices. Differentiating unitarity and determinant one gives the two constraints; exponentiating any such matrix proves their sufficiency. The commutator is again skew-Hermitian and traceless. Its real dimension is $n^2-1$, and its complexification is ${\mathfrak{sl}}_n(\mathbb{C})$.

A large, slowly damping oscillatory sample autocorrelation function suggests autoregressive zeros near a conjugate pair on the unit circle. For period $s$, the pair is near $e^{\pm 2\pi i/s}$, with minimal real filter $1-2\cos (2\pi /s)B+B^2$. Such a plot is evidence, not proof: a finite sample cannot distinguish a near-unit stationary model or a random sinusoid solely from the shape.

The closed unit ball of a normed vector space is the set of vectors of norm at most one. In a continuous dual space it is compact in the weak-star topology by the Banach-Alaoglu theorem.

A trifurcation graph vertex is a graph vertex of an infinite percolation cluster whose deletion separates that cluster into at least three infinite connected components of a graph. In a finite modification argument one may make it have exactly three open incident edges leading to three different infinite components. On a translation-invariant lattice, a positive probability of trifurcation at one graph vertex gives a positive expected density of trifurcations.

Independent bond percolation on ${\mathbb{Z}}^2$ has at most one infinite percolation cluster at every parameter, including a possible critical parameter. The number of infinite percolation clusters is constant almost surely by translation ergodicity of Bernoulli percolation. A finite constant larger than one is impossible: a box meeting two clusters can be made entirely open, joining them and decreasing that number with positive probability by finite modification of Bernoulli percolation.

If infinitely many clusters existed, a box would meet three with positive probability. Preserve one infinite exterior arm from each and replace the finitely many interior and boundary edges by a three-armed tree joining them, closing the remaining edges. Its branch graph vertex becomes a trifurcation vertex in percolation. Translation invariance therefore gives a positive density $q$. But the trifurcation boundary-counting lemma gives $q|W|\le |{\partial }^{+}W|$ for every large box, contradicting vanishing boundary-to-volume ratio. This proves uniqueness without assuming absence of an infinite percolation cluster at criticality.

Stopping a uniformly integrable discrete-time martingale at any stopping time preserves uniform integrability, including when the stopping time can be infinite. For $C={\sup }_n\mathbb{E}|X_n|$, the optional stopping theorem and the Markov inequality giveChoose $R$ first, then $K$, to make this uniformly small.

A nonnegative function that is a uniformly continuous function on the interval $[0,\infty )$ and has a finite integral tends to zero. Otherwise uniform continuity gives disjoint intervals of a fixed width on which the function exceeds a fixed positive value, contradicting integrability. This supplies a useful decay argument for Lyapunov functions with merely continuous vector fields.

To make the fixed width explicit, suppose some $\eta >0$ occurs as a lower bound $f(t_n)\ge \eta$ along a sequence with $t_n\to \infty$. Choose $\delta >0$ from uniform continuity for output tolerance $\eta /2$. On every interval $(t_n-\delta /2,t_n+\delta /2)$ lying in $[0,\infty )$, the function is greater than $\eta /2$. Extract a subsequence whose centers are more than $\delta$ apart. Each disjoint interval contributes at least $\eta \delta /2$ to the integral, so the first $N$ contribute at least $N\eta \delta /2$. This contradicts finiteness of the integral. The same input width at every center is the essential step; continuity alone would allow progressively narrower peaks.

In the uniform-current rotating magnetohydrodynamic wave dispersion, exponential growth requires $J^2(2m\delta -m^2)/(4{\mu }_0\rho )>{\delta }^2{\Omega }^2$. For integer $m$ and $|\delta |<1$ this is possible only for $|m|=1$ and $m\delta >1/2$. Positive and negative $m$ branches are related by complex conjugation. The equality case is a repeated frequency and requires separate analysis of possible algebraic growth.

In a uniform balls-in-bins allocation with $m\to \infty$ and $n/m\to \lambda \in (0,\infty )$, a fixed bin count has convergence in distribution to a Poisson distribution variable of mean $\lambda$ by the Poisson limit theorem. If $N_j$ counts bins containing exactly $j$ balls, symmetry and the linearity of expectation give $\mathbb{E}[N_j]/m=\mathbb{P}(B_1=j)\to e^{-\lambda }{\lambda }^j/j!$ for each fixed $j$. In particular the expected empty fraction tends to $e^{-\lambda }$, and the expected fraction with at least two balls tends to $1-(1+\lambda )e^{-\lambda }$. These are statements about expectations; convergence of the random fractions requires an additional argument.

The axial strain rate is the axial component of the rate-of-strain tensor. For axial velocity $w(z)$ it is $E=\partial w/\partial z$. In a uniform uniaxial extensional flow, $w=Ez$ and incompressible flow requires $u_r=-Er/2$; positive $E$ stretches the axial direction and contracts the transverse directions.

A slender axisymmetric column of a Newtonian fluid, with radius $a(z,t)$, axial velocity $w$, external pressure $p_e$ and axial body-force density $f$, obeys $(a^2{)}_t+(a^{2}w{)}_z=0$ and $3\mu (a^2{w}_z{)}_z/a^2=p_{e,z}-f$ when inertia, surface tension and leading external shear are negligible. The factor three is the Trouton ratio. Radial mass conservation gives $u_r=-r{w}_z/2$; the Newtonian fluid stress tensor gives $p=p_e-\mu w_z$ and axial excess stress $3\mu w_z$. This reduces a three-dimensional Stokes flow to one-dimensional evolving geometry.

For two-layer sedimentation with a compression shock, the clearing, internal and deposit fronts can all meet at one event. The concentration is normalized by the packed value: initially it is $a$ above $z_m$ and $2a$ below, with $0<a<1/2$, in a column of height $H$.

Equating the clearing and deposit trajectories givesRequiring the internal front to pass through the same point givesThis also satisfies particle-volume mass conservation, $h_c=a(H+z_m)$. At $t_c$ the entire particle population has entered the stationary packed deposit and the remaining interface separates that deposit from clear fluid. The special value of $z_m$ is the boundary between the two possible orders of pairwise sedimentation shock interactions.

For a triangular-profile line plume with centreline density $\rho$, speed $W$, half-width $b$, ambient density ${\rho }_0$, and inward relative edge speed $e$, volume, mass and momentum conservation giveSubtracting mass conservation from ${\rho }_0$ times volume conservation also gives buoyancy conservation. Batchelor entrainment supplies a closure for $e$.

In the Boussinesq approximation, density-weighted fluxes are $Q={\rho }_{0}bW$, $M=(2/3){\rho }_{0}b{W}^2$ and $F=(2/3)gbW({\rho }_0-\rho )$. With two-sided Batchelor entrainment $e=\alpha W$, the integral balances areThe factors $4/3$ and $3$ depend on the triangular profile and the definition of the entrainment coefficient.

Let $F:\mathcal{C}\to \mathcal{D}$, $G:\mathcal{D}\to \mathcal{C}$, $\eta :1\Rightarrow GF$ and $\epsilon :FG\Rightarrow 1$ be natural transformations. If $G\epsilon {\eta }_G=1_G$, then $e={\epsilon }_{F}F\eta :F\Rightarrow F$ is an idempotent morphism in the functor category. Naturality implies $Ge\eta =\eta$ and $\epsilon e_G=\epsilon$; these absorption identities prove $e^2=e$. The omitted triangle measures exactly whether $e=1_F$.

In transverse-traceless gauge, particles initially at rest have fixed spatial coordinates because ${\Gamma }^{\mu }{}_{00}=0$. Their separation measured in a parallel-propagated orthonormal frame changes: to first order $S^{\hat{A}}=S^A+h_{AB}{S}^B/2$. Hence the physical geodesic deviation is ${\ddot{\xi }}^{\hat{A}}={\ddot{h}}_{AB}{L}^B/2$, whereas the coordinate displacement obeys ${\ddot{\xi }}_{\mathrm{coord}}^A=0$. The extra ${\partial }_0{\Gamma }^A{}_{0B}{L}^B$ term in the coordinate expansion of the second covariant derivative reconciles the two results. This applies to infinitesimal separations and linear metric perturbations.

For complementary-dimensional oriented submanifolds of an oriented manifold meeting transversely in finitely many points, the smooth intersection number is the sum of their local orientation signs. Geometric disjointness implies number zero, but number zero alone need not imply geometric disjointness. Without coherent orientations, use the count modulo $2$.

A propeller domain consists of seven congruent reflected triangles: one central triangle and three arms of two triangles each. There are different coloured gluing patterns whose Dirichlet Laplacian and Neumann Laplacian spectra agree by the transplantation theorem. Varying the three side lengths of a scalene triangle in a suitable open region gives three parameters; the central triangle is identifiable from the three reflex corners, allowing a direct nonisometry proof.

For two nearly circular Kepler orbits near a first-order $(j+1):j$ period ratio, the slow resonant argument circulates on the displayed superperiod when longitude of periapsis precession is negligible. If $P_2/P_1=((j+1)/j)(1+\Delta )$, then $P_t=P_1(1+\Delta )/(j|\Delta |)$. Within resonant-argument libration, this circulation formula is replaced by an amplitude-dependent libration period.

For data $g={\chi }_{B(0,R)}$ on ${\mathbb{R}}^2$, the minimizer of $\alpha \mathrm{TV}(u)+\frac{1}{2}\Vert u-g{\Vert }_2^2$ is the displayed amplitude shrinkage, including extinction at $\alpha =R/2$. The total variation calibration uses $z(x)=x/R$ inside the disk and $z(x)=Rx/|x{|}^2$ outside. Its continuous normal component creates no boundary measure, and $\mathrm{div}z=(2/R){\chi }_{B(0,R)}$. This subgradient certifies the positive branch; scaling it down certifies the zero branch. The quadratic fidelity is strictly convex, ensuring uniqueness.