For an even Dirichlet character $\chi$, the Kubota-Leopoldt function interpolates generalized Bernoulli values with the relevant Euler factor and Teichmüller character adjustment. If $\chi \ne 1$, it can be encoded by an integral power series. For $u=1+p$, the $p$-ramified convention is $g_{\chi }(u^{1-s}-1)=L_p(\chi ,s)$. The trivial character requires separate treatment of the pole.

An integral lattice in a finite-dimensional ${\mathbb{Q}}_p$-vector space is a free ${\mathbb{Z}}_p$-submodule of full rank. Any two such lattices are commensurable: their intersection has finite index in each, because a sufficiently large power of $p$ multiplies either into the other. A finite group acting on the space admits invariant lattices by taking a sum of translates. This allows Herbrand quotient comparisons via finite quotient modules.

For $x=ϵa\cos \omega t$ and a tangent $(\sin \theta ,\cos \theta )$ with $\theta =ϵ\cos (\omega t+\varphi )$, the leading force on the fluid is $⟨F_y⟩=-(c_{\perp }-c_{\parallel })L{ϵ}^{2}a\omega \sin \varphi /2$. The sign changes under reversal of the tilt convention. Quadrature strokes maximize its magnitude; reciprocal strokes give zero, consistent with kinematic reversibility of Stokes flow.

The leading mean viscous dissipation of a translating and rotating rigid rod is $c_{\perp }{ϵ}^2{\omega }^2(L{a}^2+L^3/12)/2$ for equal dimensionless translation and angle amplitudes. Both terms are quadratic in amplitude; rotational material velocity cannot be omitted simply because the angle is small.

An orthogonal basis of an inner-product vector space consists of nonzero mutually orthogonal vectors that span the space. The orthogonal projection of $v$ onto a finite-dimensional span is ${\sum }_i⟨v,u_i⟩u_i/⟨u_i,u_i⟩$. Dividing each vector by its norm produces an orthonormal basis. For centered random variables, the inner product is covariance; an orthogonal basis therefore consists of uncorrelated variables, without requiring unit variance.

For $z=x+iy\in {\mathbb{C}}^3$ satisfying $z^{T}z=1$, the real and imaginary parts obey $|x{|}^2-|y{|}^2=1$ and $x\cdot y=0$. Simultaneous real rotations preserve $r=|y|$. At $r=0$ the group orbit is the unit sphere, with stabilizer subgroup $SO(2)$. At each $r>0$, the normalized pair $(x,y)$ is an oriented two-frame, giving a free transitive SO(3) group action. The group orbit space is $[0,\infty )$, and the whole quadric is diffeomorphic to the tangent bundle of $S^2$. Its varying Hermitian norm prevents it from being a single SU(3) group orbit.

For a cold coplanar disk with complex eccentricity $z(a,t)$, the first-order radial shape is $r=a[1-\mathrm{Re}(z{e}^{-i\theta })]$. Infinitesimally neighboring orbits first cross when $|z+a{\partial }_{a}z|=1$. Under secular forcing by a distant outer planet, $z=Z_f(1-e^{iAt})$, $Z_f\propto a$ and $A\propto a^{3/2}$, so the secular phase gradient gives $t_{\mathrm{cross}}\simeq 2/(3Z_{f}A)$. The finite-neighbor version requires the accumulated phase difference to remain small when replacing a difference by a derivative.

Increasing wind or reducing heating both reduce the control parameter of opposing-wind ventilation bistability. However, wind moves the reversal threshold ${\theta }_w=W/G_T$, whereas heating does not. A sufficiently abrupt wind increase can place a hot upward-flow state in the cooler state's basin. Reducing positive heating at fixed wind cannot make an upward-flow state cross ${\theta }_w$, because its temperature time derivative there is positive. Slow variation follows a persistent stable branch; a fold destroys the cooler branch when wind is weakened or heat input increased.

For bounded operators between Hilbert spaces, write the norm as the supremum of $|⟨Ax,y⟩|$ over unit vectors $x,y$. Moving the operator to the other slot proves equality of its norm with that of its adjoint operator. Applied to the exponential matrix, this makes the primal and dual analytic large sieve inequalities equivalent.

The Fourier kinetic term ${\sum }_{k>0}i{\alpha }_{-k}\cdot {\dot{\alpha }}_k/k$ supplies conjugate pairs, with ${\alpha }_{-k}={\alpha }_k^{\ast }$. Inverting its symplectic form yields the displayed Poisson brackets. Nonzero modes are independent of the center-of-mass pair, while ${\alpha }_0=\sqrt{2{\alpha }^{\prime }}p$ is the momentum zero mode. The imaginary factors are compatible with a real action up to a total derivative.

The spatial integration-by-parts term in the Nambu-Goto phase-space action pairs endpoint displacement with momentum flux $J_m=e{T}^2{X}_m^{\prime }+u{P}_m$. Free endpoint displacements require zero flux. Fixed normal coordinates instead set those variations to zero, while tangential variations retain a Neumann boundary condition. Boundary conditions must also be preserved by the equations of motion. In a boundary-preserving gauge with $u=0$, mixed Neumann boundary conditions and Dirichlet boundary conditions implement a planar D-brane.

The efficient score is the residual after orthogonal projection of the parametric score function onto the nuisance tangent space. It is centered and orthogonal to every nuisance direction. Its squared L2 norm is the efficient information.

For independent-error regression with a zero-mean error, bounded density paths $f_t=f(1+t\gamma )$ must preserve both normalization and the first moment. Their score functions therefore satisfy two constraints. When $0<E_f{\epsilon }^2<\infty$, truncation followed by two small bounded moment corrections shows these scores are dense in the displayed closed subspace of a Hilbert space. By independence, they are orthogonal to every $\epsilon \psi (X)$ with $\psi \in L^2(v)$. The same constraints apply to other paths only under regularity permitting differentiation of the first moment.

On a compact smooth manifold without boundary of dimension at least two, a residual set of smooth Riemannian metrics consists of nowhere locally homogeneous metrics. Thus such metrics are dense in the smooth topology by the Baire category theorem. In dimension one, arclength coordinates always provide nontrivial local isometries.^[ref]

For $M>0$ with integral one, the Cauchy-Schwarz inequality makes the mass functional bounded on the weighted Hilbert space. The vector $M$ has norm one, so the velocity-reset projection is the orthogonal projection onto its span. Consequently $L=\Pi -I$ is bounded and self-adjoint. This Hilbert geometry differs from the norm-one positive reset projection on phase-space $L^1$.

Completing the square in $S[q]=\frac{1}{2}qKq+Jq$ with $K=-{\partial }_t^2-m^2+iϵ$ gives the displayed source factor, where $G=K^{-1}$. In the frequency convention $e^{i\omega t}$, $\tilde{G}=({\omega }^2-m^2+iϵ{)}^{-1}$ and $G(t)=-i{e}^{-im|t|}/(2m)$ for $m>0$. The physical time-ordered oscillator quantum field theory propagator is $iG$. Sources are first taken as test functions so the pairings are defined.

For a minimally coupled scalar field, put $q^2=h^{ij}{D}_i\varphi D_j\varphi$ using the spatial covariant derivative. Spatial and normal projections of its stress-energy tensor give $\rho ={\Pi }^2/2+q^2/2+V$, ${\mathcal{J}}_i=-\Pi D_i\varphi$, and $S_{ij}=D_i\varphi D_j\varphi +h_{ij}({\Pi }^2/2-q^2/2-V)$. The trace-free stress is $D_i\varphi D_j\varphi -h_{ij}{q}^2/3$, with coefficient one. This makes the scalar anisotropic stress second order in a spatial gradient expansion.

In the usual critical Lorentz-invariant bosonic string, level-one transverse vector polarizations fit a massless representation, whereas a massive vector would require an extra polarization. This fixes the intercept to one. Polarization counting alone does not establish that conclusion in every dimension: in three dimensions the one transverse polarization transforms trivially under the transverse rotation group and can be interpreted as a scalar. The quantum consistency assumptions must accompany an argument that the first level must be massless.

For two normal matrices of the same size, a pairing of their eigenvalues has squared Euclidean discrepancy at most the squared Frobenius norm of their difference. For Hermitian matrices, the increasing real eigenvalue order gives such a pairing, because it minimizes squared discrepancy. For real symmetric matrices, the norm square is $\mathrm{Tr}(A-B{)}^2$.

Here take $X,Y$ iid, centered with variance one, and with finite moment-generating functions at all real arguments. independence of their sum and difference gives $M(2t)=M(t{)}^{3}M(-t)$. Dividing the positive and negative argument identities shows $M(t)/M(-t)$ satisfies the symmetry step of dyadic rigidity of a moment-generating function, hence $M$ is even. The identity becomes $M(2t)=M(t{)}^4$, and the unit-variance expansion then forces $M(t)=e^{t^2/2}$. The uniqueness theorem for moment-generating functions identifies the standard normal distribution. This is a precise sufficient-hypothesis version; the displayed implication is understood with those stated assumptions.