A regular phase-mixed distribution $F(H,p_{\varphi },I)$ in an axisymmetric Stäckel potential is even separately in $v_{\lambda }$ and $v_{\mu }$, because these integrals depend on those components only through squares. Odd integration then gives all three mixed second moments zero, even if the $p_{\varphi }$ dependence produces azimuthal streaming. Bare stationarity alone is insufficient in degenerate resonant potentials with additional integrals. For example the isotropic harmonic Hamiltonian has the extra conserved $K=v_x{v}_y+{\omega }^{2}xy$; a positive Gaussian $\exp (-aH+ϵK)$ with $a>|ϵ|>0$ is a steady tracer and has nonzero $⟨v_x{v}_y⟩$. Its harmonic gravitational potential is a Stäckel potential in these spheroidal coordinates. This tracer need not itself source that harmonic gravitational potential. The alignment claim thus needs the phase-mixed three-integral hypothesis, not merely the weak form of Jeans theorem.

An augmented density $\rho (r,\psi )$ treats radius and relative potential as independent variables and reduces to the physical density on $\psi =\psi (r)$. Its extension away from that curve contains additional orbital-anisotropy information. Different extensions can give the same physical density; physical realizability additionally requires a nonnegative galactic distribution function.

The density and self-consistent potential of a spherical galaxy need not determine its galactic distribution function. Different angular-momentum dependence can reproduce the same density with different velocity-anisotropy parameters. An isotropic Plummer model and its positive anisotropic Plummer distribution with unit anisotropy radius provide an explicit example. A chosen full augmented density is additional information.

An Osipkov-Merritt spherical distribution has $F=f(Q)$ for $Q=E-L^2/(2r_a^2)>0$ and vanishes otherwise. Rescaling transverse velocities by $\sqrt{1+r^2/r_a^2}$ makes its velocity integral isotropic in the rescaled variables. Its velocity-anisotropy parameter is $\beta =r^2/(r^2+r_a^2)$.

For a stationary collisionless stellar system confined to a plane, velocity isotropy makes the galactic distribution function depend on speed through $u=v^2/2$. The Collisionless Boltzmann equation implies ${\nabla }_{x}f=f_u{\nabla }_x\Phi$, hence $f=F(E)$ with specific orbital energy $E=u+\Phi$. This conclusion requires stationarity as well as isotropy.

The streaming velocity is the local mean stellar velocity obtained by averaging with the galactic distribution function. In an axisymmetric disk it usually denotes $⟨v_{\varphi }⟩$. It differs from the circular speed, which is set by the force field, and from the velocity dispersion, which measures fluctuations about the mean.

For stable positive detector pixel means $N_i$ and uniform detector conversion gain $g$, high-count independent Poisson distribution noise gives $\mathrm{Var}(A_i/B_i)\simeq 2/(g{N}_i)$. Thus substituting a global mean in the equal-signal formula yields $g_{\mathrm{naive}}=g/[⟨N_i⟩⟨1/N_i⟩]\le g$, by the Jensen inequality. Equality holds for uniform means. The flat-field correction pattern cancels from the ratio mean but not from the signal-dependent noise. Local signal bins, or a variance fit after normalization of differences by the square root of their local mean, avoid this leading bias.

If $\dot{\Phi }=A(t)\Phi$ and $\Phi (0)=I$, differentiation of the determinant gives $\det \Phi (t)=\exp ({\int }_0^t\mathrm{tr}A(s)ds)$. For a planar periodic orbit this gives the nontrivial Floquet multiplier, since the tangent multiplier is one.

The constant diagram functor sends $C$ to the functor on $J$ with constant object value $C$ and identity arrow values; a morphism $f$ becomes the natural transformation with every component $f$. When all $J$-shaped categorical limits exist, it is a left adjoint to the limit functor.

In a full-sky cubic bispectrum estimator, pairwise Gaussian covariance within one triple gives a sum of Gaunt integrals with opposite $m$ indices. The spherical harmonic addition theorem turns their pair into the constant $(2\ell +1)/(4\pi )$; its integral against $Y_{LM}$ vanishes for $L>0$. A zero temperature monopole removes $L=0$. Thus only the six pairings connecting the two triples survive in the Gaussian variance; isotropic weights are essential for the cancellation.

A nowhere-zero differential one-form $n$ is hypersurface orthogonal if locally $n=Fdt$ with $F\ne 0$. Its kernel consists of tangent vectors to the level hypersurfaces of $t$. Frobenius theorem makes this equivalent to $n\wedge dn=0$, where $d$ is the exterior derivative. With a torsion-free Levi-Civita connection, this is $n_{[\alpha }{\nabla }_{\beta }{n}_{\gamma ]}=0$. For a timelike unit normal, projecting the derivative on both indices gives zero antisymmetric part, which explains why hypersurface orthogonality implies symmetric extrinsic curvature.

A terminating Frobenius series is a Frobenius method solution whose analytic power series factor has only finitely many nonzero coefficients. Its coefficient linear recurrence relation must allow the first omitted coefficient and all following coefficients to be zero. At an integer separation of characteristic exponents at a regular singular point, a resonant coefficient equation can become $0=0$, permitting such a choice rather than forcing a logarithmic term. With exponent zero, termination produces a polynomial solution.

In a finite Galois extension $L/K$, choose a prime ideal $\mathfrak{P}$ above an unramified $\mathfrak{p}$. The Frobenius automorphism at $\mathfrak{P}$ is characterized on its residue field by $x\mapsto x^{N\mathfrak{p}}$. Changing $\mathfrak{P}$ conjugates this element, so its conjugacy class is well-defined. It is the identity class exactly at a completely split prime.

In a boundary-adapted temporal gauge, a free open string endpoint has $X^{\prime m}=0$. The Nambu–Goto phase-space constraints then imply $P^2=0$, while $\dot{X}=eP$ implies ${\dot{X}}^2=0$. For $X^0=t$, its spatial speed is one. This null boundary is compatible with a timelike interior worldsheet.

If fragments are injected with number spectrum $S_N(D)\propto D^{-{\alpha }_r}$ and escape faster than they collide, steady balance gives $n(D)=S_N(D)t_y(D)$. Thus $t_y\propto D^{\gamma }$ changes the differential number index to ${\alpha }_r-\gamma$. A removed population with size-independent subsequent lifetime retains the source index ${\alpha }_r$.

For fractional Brownian motion, $H\in (0,1)$ controls the variance $|t-s{|}^{2H}$ of increments and the scaling of its finite-dimensional distributions. Larger $H$ means smaller increment variance on intervals shorter than one and greater sample-path Hölder continuity.

For independent coordinate flips at rate $1/2$, a Walsh character $w_A$ is an eigenfunction with eigenvalue $-|A|$. The generator is self-adjoint and negative semidefinite. Its Dirichlet form of a Markov chain is $-\mathbb{E}[fLf]=\frac{1}{4}{\sum }_i\mathbb{E}(f({\omega }^{(i)})-f(\omega ){)}^2$.

The Fourier transform on a finite group convention $\hat{f}(\rho )={\mathbb{E}}_{x}f(x)\rho (x)$ has the displayed inversion formula. The sum is over one representative from each equivalence class of unitary irreducible representations. It follows from the Schur orthogonality relations and the regular representation decomposition, and holds at every group element without a limiting argument.

For the Fourier transform on a finite group, the displayed identity uses uniform expectation in the original function space and a weighted Hilbert-Schmidt inner product in the matrix components. In particular $\Vert f{\Vert }_2^2={\sum }_{\rho }{d}_{\rho }\Vert \hat{f}(\rho ){\Vert }_{\mathrm{HS}}^2$. For an abelian group, all $d_{\rho }=1$, and the identity becomes a sum of squared scalar coefficients.

For an orthogonal matrix $R$, a unit-Jacobian change of variables gives $\widehat{\phi \circ R^t}=\hat{\phi }\circ R^t$. The dual definition of the Fourier transform of a tempered distribution consequently givesSince the Fourier transform is invertible on the Schwartz space and its dual, a tempered distribution is invariant under a rotation group exactly when its transform is invariant. This includes radial tempered distributions.