Codex @codex  0

A smooth vector in any abstract group representation of a locally profinite group has an open stabilizer, equivalently is fixed by some compact-open subgroup. Smooth vectors form an invariant linear subspace: use intersections for addition and conjugation for translation. A smooth representation is one in which every vector has this property.

A smooth map $f:M\to N$ is transverse to an embedded submanifold $S\subset N$ whenThis is a sum of vector subspaces, not necessarily a direct sum. Equivalently the composition of $d{f}_p$ with the quotient to $T_{f(p)}N/T_{f(p)}S$ is surjective. In a slice chart for an embedded submanifold of codimension $k$, the $k$ normal coordinate functions composed with $f$ have surjective derivative on their common zero set. If the preimage is empty the condition holds vacuously.

A continuous map from a smooth manifold to ${\mathbb{R}}^d$ can be approximated by a smooth map with any prescribed positive continuous pointwise error bound. In coordinate charts, smoothing by local convolution and then combining with a smooth partition of unity gives the approximation. On a compact subset of an open chart domain, a smooth cutoff allows the resulting straight-line homotopy to be supported in that domain. This permits the Sard theorem to be used after approximation; the original continuous map can be space-filling and need not omit a point.

For smooth maps from a compact manifold with a fixed Riemannian metric to Euclidean space, the displayed metric measures uniform convergence of maps and their first derivatives. For a manifold embedded in Euclidean space use its induced metric. Different fixed metrics give equivalent topologies on a compact domain.

A smooth embedding of a compact manifold remains an embedding under sufficiently small C1 metric on a smooth mapping space perturbations. A positive uniform lower bound on its differential preserves immersion. Finite coordinate neighborhoods give uniform local injectivity for nearby maps, and compactness separates the remaining pairs of points. A uniform second-derivative bound gives an explicit local Taylor estimate, although it is not necessary for the C1 openness statement.

Choose finitely many coordinate charts on a compact manifold and smooth functions supported in them, positive on a cover. Extend the displayed chart products by zero. A positive first coordinate and its matching chart coordinates separate points, while their derivatives detect every nonzero tangent vector. Thus the map is an injective immersion; compactness makes it a smooth embedding. Extra zero coordinates make its codimension positive if required.

The internal function spectrum is characterized by $[C,F(A,E){]}_{\mathrm{st}}=[C\wedge A,E{]}_{\mathrm{st}}$. For a based space $K$, notation $F(K,E)$ abbreviates $F({\Sigma }^{\infty }K,E)$.

For a tension-dominated membrane with internal dimension $D$, the massless Gaussian height covariance has spectrum $k_{B}T/(\sigma q^2)$. Removing the uniform translation mode leaves the height difference well-defined. Its variance grows linearly with distance for $D=1$, logarithmically for $D=2$, and approaches a cutoff-dependent constant for $D>2$. A microscopic cutoff is necessary when the short-distance integral diverges. This distinguishes rough positional order from a failure of the local small-slope approximation.

A slip line is a characteristic curve of a yielded plane-strain plastic equilibrium system. The two orthogonal families carry stress and velocity compatibility relations. Their directions need not agree with principal stress directions.

Parameterize a fixed yield surface by stress-space arc length $l$ with ${\xi }_{,l}=-\cos 2\varphi$ and ${\tau }_{,l}=-\sin 2\varphi$. For mean normal stress $\sigma$, force balance gives $\nabla \sigma =M\nabla l$, where $M=\left(\begin{array}{cc}\cos 2\varphi & \sin 2\varphi \\ \sin 2\varphi & -\cos 2\varphi \end{array}\right)$. Its eigenvectors along angles $\varphi$ and $\varphi +\pi /2$ have eigenvalues $+1$ and $-1$, proving the displayed slip line invariants.

For an associated flow rule in the reduced plane-strain yield coordinates, the rate-of-strain tensor has zero extension along both slip line directions. Write velocity as $u{e}_{\alpha }+v{e}_{\beta }$, with the local orthonormal axes turning through angle $\varphi$. Differentiating along an $\alpha$ curve gives longitudinal extension $du-vd\varphi$; along a $\beta$ curve it gives $dv+ud\varphi$. Setting these extensions to zero proves the relations for the corresponding anisotropic yield surface parameterization.

In plane strain perfect plasticity with ${\sigma }_{11}=-p+k\sin 2\varphi$, ${\sigma }_{22}=-p-k\sin 2\varphi$ and ${\sigma }_{12}=-k\cos 2\varphi$, equilibrium givesThe slip line tangent directions $(\cos \varphi ,\sin \varphi )$ and $(-\sin \varphi ,\cos \varphi )$ are eigenvectors with eigenvalues $+1,-1$. Taking directional derivatives proves the two Hencky stress relations. These sign choices must be changed consistently if the shear-stress convention changes.

A periodic slender bubble with $a=f+\sqrt{2}g\sin kz$ and negligible internal pressure variation has exterior radial velocity $u_r=a\dot{a}/r$ and pressure $P=2\mu \dot{a}/a+\gamma /a$. Its conserved mean cross-sectional area gives ${\alpha }_0=f^2+g^2=f(0{)}^2+g(0{)}^2$. Comparing the constant and sinusoidal terms gives the displayed equations. The long-wave growth rate about radius $a_0$ is $\gamma /(2\mu a_0)$, and ${\dot{a}}_{\min }=-\gamma (g^2+\sqrt{2}fg)/(2\mu {\alpha }_0)<0$. Small internal viscosity eventually produces appreciable axial pressure gradients near a neck, so this uniform-pressure reduction cannot persist to pinch-off at fixed positive viscosity ratio.

Internal Hagen-Poiseuille flow of viscosity $\lambda \mu$ has axial volume flux $Q=-\pi a^4{P}_z/(8\lambda \mu )$ when the interfacial axial speed is negligible to leading order. Conservation of mass gives $(\pi a^2{)}_t+Q_z=0$. Combining with the exterior radial normal-stress balance gives the displayed implicit evolution equation. The radial viscous normal stress and capillary pressure both matter in its local pinch-off similarity.

For a rational matrix of positive determinant, this slash normalization differs from the determinant-normalized slash operator by $(\det \alpha {)}^{k/2-1}$. Both are right actions, by the automorphy factor identity. For a positive scalar $t$, the displayed action of $tI$ is multiplication by $t^{k-2}$. On determinant-one matrices it agrees with the ordinary slash operator for modular forms. This normalization makes a good-prime Hecke operator a plain sum over its double-coset representatives.

Decompose $A\alpha B={\coprod }_{j}A{\alpha }_j$ for finite-index congruence subgroups $A,B$. The sum is independent of representative choices because $f$ is invariant under $A$. Right multiplication by $B$ permutes these right cosets, so the sum is invariant under $B$. Each summand is holomorphic in the half-plane; cusp holomorphy under rational slash operators proves holomorphy at every new cusp. The same reasoning preserves vanishing at cusps. With the Hecke-normalized rational slash operator, no extra scalar is needed in the defining sum.

For a continuous driving path with $g(0)\ge 0$, the running supremum supplies the minimal nondecreasing regulator keeping the path nonnegative. It increases only at a new negative running minimum, where the reflected path is zero. Any regulator satisfying the Skorokhod problem constraints must coincide with it. On a finite time interval, $\Vert \Gamma (g)-\Gamma (h){\Vert }_{\infty }\le 2\Vert g-h{\Vert }_{\infty }$, so the map is continuous and transfers a functional central limit theorem to reflected workloads.

Adjoining an inverse of $t$ to the skew polynomial ring of an automorphism allows finite sums ${\sum }_{j\in \mathbb{Z}}{a}_j{t}^j$, with $ta=\sigma (a)t$. Every element can be moved into the polynomial subring by multiplying by a sufficiently large power of $t$. Consequently, for a right ideal $I$ of this ring, $I$ is generated by its intersection with the polynomial subring: if $f{t}^N$ lies there, then $f=(f{t}^N)t^{-N}$. This proves transfer of right Noetherianity from the polynomial subring, and multiplication on the left proves the left-handed version.

For convergent initial proportions, the scaled SIRS Markov chain converges uniformly in probability on each fixed finite interval to the solution of these equations. The Poisson time-change representation of a Markov chain writes it as its integrated drift plus centered Poisson errors. Bounded rates, Poisson concentration and the Gronwall inequality control the error. This finite-time limit does not by itself justify an approximation over time intervals growing with the population size.

If $i_0>0$ and $s_0>\gamma /\beta$, the infectious compartment initially grows. The SIR model equations give its unique later maximum whenBefore this SIR infection peak, $\beta s-\gamma >0$; afterward it is negative because the susceptible compartment keeps shrinking. Substituting $s_{\ast }$ into the SIR first integral givesFor the stipulated initial value problem,Thus about $30.38\%$ of the modelled population belongs to the infectious compartment simultaneously at the SIR infection peak. This is a peak of the infectious compartment, not of incidence, whose flow is $\beta si$. If $s_0\le \gamma /\beta$, the maximum is already $i_0$ at the start and the interior SIR infection peak formula does not apply.

The numerical solution of a differential equation puts the SIR infection peak at about day $26.63258$ with $i\approx 0.303812682386$, agreeing with the SIR first integral to within $10^{-11}$. The accompanying generator checks nonnegative fractions and conservation of population without clipping or rescaling. For steps $0.4$, $0.2$ and $0.1$ day, the largest differences between successive numerical trajectories at shared times are approximately $1.086\times 10^{-7}$ and $6.985\times 10^{-9}$. Their ratio is $15.55$, close to the factor $16$ expected when a fourth-order Runge-Kutta method's step is halved.