A Galerkin method retaining one stream function mode, two temperature modes and two transverse-velocity modes produces five coupled amplitudes. A useful normalization gives $a^{\prime }=-\sigma a+\sigma rb-{\sigma }^{2}qd$, $b^{\prime }=a-b-ac$, $c^{\prime }=h(-c+ab)$, $d^{\prime }=a-\sigma d-ae$, $e^{\prime }=-(4-h)\sigma e+had$. Here $\sigma >0$ is the Prandtl number, $0<h<4$, and $q$ measures squared rotation. The trivial equilibrium point has characteristic polynomial $(s+\sigma {)}^2(s+1)-\sigma r(s+\sigma )+{\sigma }^{2}q(s+1)$ in its three coupled linear modes; the remaining two modes decay. Stationary bifurcations and oscillatory onset meet at $q=(1+\sigma )/(1-\sigma )$, $r=2/(1-\sigma )$ when $\sigma <1$.

For a binary cyclic code with defining zeros of a cyclic code $\alpha$ and ${\alpha }^3$, a single error in coordinate $j$ has polynomial $X^j$ and syndromes $S_1={\alpha }^j$, $S_3={\alpha }^{3j}$. If $S_1\ne 0$ and $S_3=S_1^3$, recover $j$ from the exponent of $S_1$, flip that coordinate, and verify that the resulting polynomial vanishes at both roots. When the linear code has minimum Hamming distance at least five, this verified correction is the unique codeword within two errors. The syndrome relation alone should not replace checking the corrected word.

An amplification root of a multistep method is parasitic when it represents an additional numerical mode rather than the principal mode approximating the exact differential-equation flow. For a consistent method the principal root starts at one as the step tends to zero, while other roots can start elsewhere. A simple parasitic root on the unit circle is compatible with zero-stability, but its motion outside the circle for a negative test parameter can destroy absolute stability. Fixed-time convergence and all-time damping must be distinguished.

If stationary mass arrives at the same constant time rate as fuel is ejected, total rocket mass stays fixed. The rocket equation with stationary mass accretion is then $M_0\dot{v}+\alpha v=\alpha u$. For initial rest, speed approaches the relative exhaust speed exponentially with relaxation time $M_0/\alpha$. This is the regular equal-rate limit of the unequal-rate mass-power formula.

On a bounded region, two sufficiently regular solutions of the Poisson equation with the same forcing and boundary condition $\alpha {\partial }_n\varphi +\varphi =\gamma$, where $\alpha \ge 0$, have harmonic difference $w$. Green's first identity gives $\int |\nabla w{|}^2={\int }_{\partial V}w{\partial }_{n}w=-{\int }_{\partial V}\alpha ({\partial }_{n}w{)}^2\le 0$. Hence $w$ is constant on each component, and the boundary condition makes that constant zero. The proof never divides by $\alpha$, so it includes variable coefficients and Dirichlet portions where $\alpha =0$.

A continuous symmetric coercive bilinear form $a$ on a real Hilbert space and a continuous linear functional $\ell$ give a unique minimum of $I$. The parallelogram identity makes any minimizing sequence Cauchy in the energy norm; coercivity and completeness give its limit. Differentiation gives $a(u,w)=\ell (w)$, and $I(v)-I(u)=a(v-u,v-u)$ proves uniqueness. A nonsymmetric operator instead differentiates to its symmetric part. Mere pointwise positivity without a lower bound in the chosen norm need not yield a minimizing vector.

A commutative ring spectrum, in the homotopy-category convention, satisfies $\mu \tau =\mu$, where $\tau$ interchanges the factors of the smash product of spectra. This condition alone does not assert an $E_{\infty }$ refinement.

For the frame fixed by zero mean height and zero first height moment, the variance profile is $P(u)=1/105-11u/105+13u^2/35-u^3/3-u^4/3+3u^5/5-u^6/5$. It obeys $P(1-u)=P(u)$, $P(0)=1/105$ and $P(1/2)=1/320$. Integrating a white noise curvature field twice, subtracting its affine projection and integrating the squared kernel proves the profile. These free-end conditions must not be confused with physically clamping the ends.

The quadratic bending energy makes curvature a white noise field in the generalized thermal description. Integrate it twice, then subtract the affine least-squares projection to fix translation and tilt. With $u=x/L$ and $t=s/L$, the dimensionless kernel is $(u-t{)}_{+}-(1-t{)}^2/2-(1-3t^2+2t^3)(u-1/2)$. Its second spatial derivative is the source delta and its mean and first moment are zero. Its squared integral yields the free-filament variance with fixed translation and tilt.

The assertion that every surjective function has a right inverse is equivalent to the axiom of choice. Choice selects one member of each nonempty fiber of a function, giving a right inverse. Conversely, for a family $(X_i{)}_{i\in I}$ of nonempty sets, the projection from the disjoint union $\{(i,x):i\in I,x\in X_i\}$ onto $I$ is surjective. A right inverse selects one element from each $X_i$, giving a choice function.

An isometry between oriented Riemannian manifolds that reverses orientation. Its differential is orthogonal with determinant minus one in oriented orthonormal frames, so it reverses the oriented volume form while preserving the associated positive volume measure. Reflection in a geodesic of the hyperbolic plane is an example. An orientation-reversing isometry still identifies the scalar Laplace spectra, even though it does not preserve the chosen complex orientation of a Riemann surface.

In a relatively compact coordinate ball the Riemannian metric norm is bounded above and below by positive multiples of the Euclidean norm. A coordinate segment gives the upper distance bound. A path leaving the ball has a positive lower length bound before its first exit; paths staying in it have the Euclidean displacement lower bound. Consequently distinct points have positive Riemannian distance, and the resulting metric topology equals the manifold topology. Connectedness makes the distance finite because smooth manifolds are locally path connected.

On the lateral surface of an infinite circular cylinder of radius $R$, the induced metric is $R^{2}d{\theta }^2+d{z}^2$. Lifting a curve to the unrolled plane $(x,z)=(R\theta ,z)$ preserves its arc length. If the endpoints differ by angular coordinate $\Delta \theta$ and height $\Delta z$, the possible lifted endpoint displacements are $(R(\Delta \theta +2\pi k),\Delta z)$ for integers $k$. Each straight segment gives a geodesic, and the shortest of their lengths isChoose the representative of $\Delta \theta$ with smallest absolute value modulo $2\pi$; if its absolute value is $\pi$, the two angular directions tie. This minimum is attained because the candidate lengths tend to infinity as $|k|\to \infty$. The formula concerns travel on the lateral surface; it does not allow a shortcut through the cylinder's interior or across end caps.

For $R=1$, take $p=(1,0,0)$ and $q=(0,1,3)$ in surrounding Euclidean space. The angular difference is $\pi /2$ and height difference is $3$. The $k=0$ route has length $\sqrt{9+{\pi }^2/4}\approx 3.386$. The $k=-1$ route goes the other way around and has length $\sqrt{9+9{\pi }^2/4}\approx 5.586$. Both are among the geodesics on a circular cylinder, but only the first is a minimizing geodesic between these endpoints.

This is a global consequence of intrinsic flatness of a circular cylinder: locally everything is Euclidean, yet the periodic angular coordinate leaves several competing routes. A shortest-route problem on the curved surface becomes a family of ordinary planar distance calculations.

The pole-subtracted theta integral for the completed zeta function bounds the Riemann xi function on $|s|\le R$ by a polynomial in $R$ times ${\int }_1^{\infty }{e}^{-\pi t}{t}^{(R+1)/2}dt$. The Stirling formula gives logarithmic growth $O(R\log R)$. On the positive real axis, the definition and $\zeta (R)\ge 1$ give $\log \xi (R)=\frac{R}{2}\log R+O(R)$. Thus its order of an entire function is exactly one.

// Target: analytic-number-theory.bigb

List positive ordinates of Nontrivial zeros of the Riemann zeta function in nondecreasing order, including multiplicity. The Riemann–von Mangoldt formula gives $N(T)\sim T\log T/(2\pi )$. For each fixed $\epsilon >0$, evaluate this at $T=(1\pm \epsilon )2\pi n/\log n$ to bracket the $n$th ordinate. Letting $\epsilon$ decrease to zero proves the displayed asymptotic without assuming simple zeros or distinct ordinates.

List positive ordinates of Nontrivial zeros of the Riemann zeta function in nondecreasing order, including multiplicity. If all sufficiently late gaps were at most $c/\log n$, summing would give ${\gamma }_n\le (c+o(1))n/\log n$, since ${\sum }_{j\le n}1/\log j\sim n/\log n$ with the sum starting at two. The Riemann–von Mangoldt formula would then give $n\le N({\gamma }_n)\le (c/(2\pi )+o(1))n$, a contradiction when $c<2\pi$. The same argument applies when only distinct ordinates are listed, because $n\le N({\gamma }_n)$ still holds.

A contact discontinuity in one-dimensional gas dynamics moves with the common fluid velocity $s=u_L=u_R$ and has continuous pressure, while mass density and specific entropy can jump. The mass jump condition $s[\rho ]=[\rho u]$ is automatic with common $u=s$; momentum conservation $s[\rho u]=[\rho u^2+p]$ then requires $[p]=0$. The energy jump condition is also satisfied. Thus a contact is a material interface, not a compression shock. A smooth self-similar positive-density flow cannot spread this zero-speed-relative-to-the-fluid family into a fan: $u=x/t$ on an interval would require both $du/d(x/t)=1$ and, from continuity, $du/d(x/t)=0$.

Two positive uniform ideal-gas states can be joined by one nontrivial rarefaction wave precisely when their specific entropy agrees, $p_L/{\rho }_L^{\gamma }=p_R/{\rho }_R^{\gamma }$, and for one $\sigma \in \{\pm 1\}$ they satisfy $u_R-u_L=2\sigma (c_R-c_L)/(\gamma -1)$ with $\sigma (c_R-c_L)>0$. These equations are the constant-entropy and Riemann invariant conditions of the self-similar ideal-gas rarefaction. They are sufficient because its affine $u,c$ profiles match the two states at ${\xi }_L=u_L+\sigma c_L$ and ${\xi }_R=u_R+\sigma c_R$, and ${\xi }_R>{\xi }_L$. The left family has $c_R<c_L$, while the right family has $c_R>c_L$. The inequality $u_R>u_L$ alone does not impose the two matching equalities.

For a univalent function $f:\Omega \to \mathbb{D}$ with $f(z_0)=0$, suppose $a\ne 0$ is omitted. Apply the disk automorphism $T_a$ so the resulting image omits zero, take a holomorphic square root, then apply the disk automorphism taking the value at $z_0$ to zero. If $\Omega$ is a simply connected domain, the root exists. The resulting normalized univalent map has derivative magnitude multiplied by $(1+|a|)/(2\sqrt{|a|})>1$, since $(1-\sqrt{|a|}{)}^2>0$. Thus a map maximizing the derivative cannot omit an interior disk point.

A rational jump with no zeros or poles on the contour can be split into factors analytic and nonvanishing on the two sides. The exterior factor may carry a power of $z$ recording the winding number. For a circle enclosing $0,\pm 1$, the jump $G=z/(z^2-1)$ has the canonical factors $X_{+}=1$, $X_{-}=z-z^{-1}$. The exterior growth of $X_{-}$ imposes compatibility conditions when a Cauchy transform is required to vanish at infinity.