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 statement that every surjective function has a right inverse is equivalent to the axiom of choice.

Given a surjective function $f:X\to Y$, each fiber of a function $f^{-1}(\{y\})$ is nonempty. The axiom of choice selects $g(y)$ from that fiber for every $y\in Y$, so $f(g(y))=y$ and $g$ is a right inverse. When $Y$ is the empty set, the unique empty function supplies $g$ without a choice.

Conversely, take an indexed family $(X_i{)}_{i\in I}$ of nonempty sets. The projection map from the disjoint union $D=\{(i,x):i\in I,x\in X_i\}$ to $I$ is surjective. A right inverse assigns $i\mapsto (i,x_i)$, selecting one $x_i\in X_i$ for every index. This is a choice function, so the asserted splitting of all surjections gives the axiom of choice.

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.

Assume a regular invertible normalized Riemann-Hilbert problem solution $\mu =I+{\mu }_1/k+{\mu }_2/k^2+\cdots$ with jump tending to the identity and conjugated by $e^{-i(kx+2k^{2}t){\sigma }_3}$. Residuals of its two differential equations have no jump and vanish at infinity, so Liouville theorem gives a Lax pair. Coefficient comparison gives the displayed reconstruction and $A=2Q$; compatibility yields $i{Q}_t-Q_{xx}{\sigma }_3+2Q^3{\sigma }_3=0$. A jump matrix tending to zero instead is inconsistent with the normalization. Recovering the initial jump from a prescribed initial potential still requires direct scattering.

Suppose a scalar canonical factor has exterior growth $X_{-}(z)\sim z^q$ with index $-q<0$, and the original exterior unknown must decay as $O(z^{-1})$. Dividing by the canonical factor gives an additive jump $D_{+}-D_{-}=g$ with exterior decay $O(z^{-q-1})$. The exterior Cauchy integral expands in moments $-{\int }_L{t}^{j}g(t)dt/(2\pi i{z}^{j+1})$. Its first $q$ coefficients must therefore vanish, yielding the displayed solvability conditions. Under this decay there is no nonzero entire polynomial addition. A nonlocal moment appearing in $g$ must additionally agree with the moment of the reconstructed original jump.

Combine columns of the three normalized Lax pair eigenfunctions in their common Volterra analyticity sectors for a half-line NLS Lax pair, dividing by the relevant determinants $a,d,d^{♯},a^{♯}$. The resulting matrix is normalized to the identity at infinity and has jumps on the real and imaginary axes. Connection matrices determine each jump explicitly. Zeros of those determinants require residue conditions or local contour deformations.

Use the bounded columns supplied by Volterra analyticity sectors for reverse-dispersion mKdV and divide the necessary columns by their determinants. This gives a normalized meromorphic matrix on the six-ray contour $\arg k=m\pi /3$. The constant scattering data connection matrices generate its jumps by conjugation with $e^{i(kx-4k^{3}t){\sigma }_3}$. Zeros of column determinants require residue conditions; in a sufficiently small-data, zero-free regime only jumps are needed. The off-diagonal expansion coefficient reconstructs $q=-2i{\lim }_{k\to \infty }k{M}_{12}$ for this sign convention.