A linear Maxwell fluid has constitutive equation $\mathbf{\sigma }+\lambda {\partial }_t\mathbf{\sigma }=\mu \dot{\mathbf{\gamma }}$, with $\dot{\mathbf{\gamma }}$ twice the rate-of-strain tensor. Here $\mu$ is the zero-frequency shear viscosity and $\lambda >0$ is the viscoelastic relaxation time. Stress at fixed strain decays as $e^{-t/\lambda }$; the corresponding series spring and dashpot have shear modulus $G=\mu /\lambda$. In small-amplitude simple shear from an isotropic relaxed state, the first-order forcing is off-diagonal, so both normal-stress differences vanish at linear order. This is not a statement about the nonlinear objective model at second order in shear rate.

Every virtually soluble group $K$ has a soluble characteristic subgroup of finite index. First take a soluble normal subgroup $K_0$ of finite index by the subgroup core construction. Choose a soluble normal subgroup $R\supseteq K_0$ maximizing its image size in the finite quotient $K/K_0$. For every soluble normal subgroup $S$, the product $RS$ is soluble, because its quotient by $R$ is a quotient of $S$. Maximality forces $S\le R$. Hence $R$ is the unique largest soluble normal subgroup and is invariant under all automorphisms. This avoids incorrectly intersecting infinitely many conjugates when proving closure under group extensions.

For halo mean density ${\Delta }_v$ times the critical density at its epoch, the circular virial velocity obeys $v_{\mathrm{vir}}^2=G{M}_h/R_h=({\Delta }_v/2)H^2{R}_h^2$. Thus $v_{\mathrm{vir}}=H{R}_h\sqrt{{\Delta }_v/2}$. Specifying whether overdensity is relative to mean matter or critical density is necessary for numerical inference.

For $t\simeq -as$, $u\simeq -(1-a)s$ with $0<a<1$, the smooth high-energy envelope satisfies $\log |A|\simeq -2s[-a\log a-(1-a)\log (1-a)]$. The Gamma function asymptotics cancel the leading $s\log s$ terms, leaving exponential suppression. Exact real-axis resonance poles must be excluded or treated by analytic continuation.

Expand moments of the inner sum and group equal power-sum differences. Their multiplicities are bounded by $J_{k,r}(Z)$ through the Cauchy-Schwarz inequality. Two applications of the Holder inequality yield a bound for $|U{|}^{4k^2}$ containing $Z^{8k^2-4k}{J}_{k,r}(Z{)}^2$ and a product of short geometric-sum bounds over the moment differences. Thus a sharp mean-value estimate combines with rational approximation or spacing of the coefficients to prove cancellation. When all coefficients are integers, $U=\lfloor Z{\rfloor }^2$, so mean-value estimates alone cannot force cancellation.

Evaluation at $e_i$ identifies a module homomorphism $h:kQ{e}_i\to X$ with $h(e_i)\in e_{i}X$. Given $x\in e_{i}X$, the inverse sends $p$ to $px$. The isomorphism is natural and shows that Hom functor evaluation on a vertex projective is exact.

Adjoin all lower levels to a uniform set family before applying Harper theorem. Its remaining neighbourhood contribution is the upper shadow, so lexicographic initial segments minimize upper shadows. Complementation and reversal of coordinates turn this into colexicographic order minimizing the lower shadow, giving the Kruskal-Katona theorem.

Uniform planar kick angle $\theta$ gives $c=\cos \theta$ with probability density $1/(\pi \sqrt{1-c^2})$. This maps onto a one-dimensional curve in orbital eccentricity–semi-major axis space. The two radial-kick signs share that curve but have opposite tangential components of the eccentricity vector. The resulting density is enhanced near tangential-kick endpoints.

A complete flag in an $n$-dimensional vector space is a nested sequence of vector subspaces with $\dim V_i=i$. An action preserves such a flag exactly when its matrices are upper triangular in a basis adapted to the flag. The Lie theorem supplies an invariant complete flag for every complex finite-dimensional Lie algebra representation of a solvable Lie algebra.

The fixed coordinate subspace of dimension $k$ in ${\mathbb{R}}^p$ consists of vectors whose coordinates after the first $k$ vanish. Restricting a quadratic form to it uses only the leading $k$ by $k$ matrix block. It specifies one fixed support; allowing every support of size $k$ would introduce another combinatorial counting step.

A subset of ${\mathbb{F}}_q^n$ is a finite-field Kakeya set when it contains an affine line in a vector space in every one-dimensional direction. The line position may depend on the direction. The polynomial method in combinatorics yields the finite-field Kakeya polynomial bound on its cardinality.

A first-order vector field $Z$ is a commutation field for the flat wave equation when $[\square ,Z]$ is zero or a controlled multiple of $\square$. Translations, spatial rotations and Lorentz boost vector fields commute with $\square$; the scaling vector field satisfies $[\square ,S]=2\square$. Repeated commutation preserves the differential order of a semilinear wave equation.

In three spatial dimensions, with $Z$ the eleven translations, spatial rotations, boosts and scaling commutation vector fields for the wave equation, a sufficiently decaying smooth function satisfies $|u(t,x)|\le C(1+t+|x|{)}^{-1}(1+|t-|x||{)}^{-1/2}{\sum }_{|I|\le 2}\Vert Z^{I}u(t){\Vert }_2$. This weighted Sobolev inequality converts control of commuted wave energy into decay. It holds independently of any wave equation satisfied by $u$.

A commuted wave energy controls derivatives of a solution after applying the commutation vector fields for the wave equation. A convenient equivalent norm is $A_m(t)={\sum }_{|I|\le m}\Vert \partial Z^{I}u(t){\Vert }_2$. The wave energy estimate controls its growth through commuted sources, while the Klainerman-Sobolev inequality gives pointwise decay for low-order derivatives.

A complex vector bundle is a vector bundle with complex-linear local trivializations and transition maps. A rank-$r$ complex bundle has an underlying oriented real bundle of rank $2r$, using the orientation of complex bases. Rank-one bundles are complex line bundles, and their higher-rank counterparts have integral Chern classes.

A Hermitian vector bundle is a complex vector bundle with a smoothly varying positive definite Hermitian form on each fibre. When the bundle is holomorphic, this is a Hermitian metric on a holomorphic vector bundle. Orthogonal projection to a smooth subbundle produces its induced metric and the quotient Hermitian metric.

For a smooth complex vector bundle endomorphism $A$ and a smooth eigenvalue function $\lambda$, a kernel of constant rank is a smooth vector subbundle, called its eigenbundle. Without a constant-rank hypothesis these kernels need not form a vector bundle.

A fiber metric on a real smooth vector bundle is a positive-definite inner product on each fiber that varies smoothly in vector bundle trivializations. A smooth partition of unity subordinate to trivializing charts averages their Euclidean inner products. Nonnegative weights preserve positivity and local finiteness ensures smoothness. Hence every real vector bundle over a Hausdorff second-countable smooth manifold admits a fiber metric. Applied to the tangent bundle, this is existence of a Riemannian metric.

A polar vector transforms as ${\mathbf{v}}^{\prime }=Q\mathbf{v}$ under an orthogonal matrix $Q$, including an orientation-reversing transformation. Displacement, velocity and force are polar vectors. An axial vector instead transforms as ${\mathbf{a}}^{\prime }=(\det Q)Q\mathbf{a}$.

For Dirichlet convolution, let $1(n)=1$ and $ϵ(n)=1_{n=1}$. Prime factorization gives $\mu \ast 1=ϵ$ and $\Lambda \ast 1=\log$. With subscripts denoting truncation at $U,V$,Rearranging proves the Vaughan identity.