Apply the Bernstein inequality for algebraic polynomials to the central interval $|x|\le \cos (\pi /(2n))$, using $\sin (\pi /(2n))\ge 1/n$. On the remaining regions apply the Chebyshev nodal derivative comparison to $p^{\prime }$. Since $T_n^{\prime }(\cos \theta )=n\sin (n\theta )/\sin \theta$, the identity expressing $\sin (n\theta )/\sin \theta$ as a sum of $n$ unit complex phases gives $|T_n^{\prime }|\le n^2$. The endpoint limit is $T_n^{\prime }(1)=n^2$, so the constant is sharp.

In ideal steady flow, a contraction of a pipe increases the speed and lowers the pressure. For constant mass density, equal body-force potential at the ends and approximately uniform endpoint speeds, conservation of mass and the Bernoulli equation give $\dot{M}=S_1{S}_2\sqrt{2\rho (p_1-p_2)/(S_1^2-S_2^2)}$ for flow from a wider to a narrower section. Elevation changes contribute a body-force potential difference, and nonuniform profiles or viscous losses require additional information.

// Target: probability-and-statistics.bigb

An integer power sum adds a fixed nonnegative integer power of consecutive integers. Let $N$ be a nonnegative integer and $p$ a nonnegative integer. For $p=0$, use the constant polynomial $x^0=1$, including at zero, so $S_0(N)=N$. Summing the Bernoulli polynomial finite difference identity makes the intermediate terms cancel and givesThe sum is empty when $N=0$. For the endpoints $1,\dots ,N$, the formula valid also at $p=0$ is insteadFor $p\ge 1$, $B_{p+1}(1)=B_{p+1}(0)$, and this becomes the standard positive-endpoint formula. The exception at $p=0$ is essential: $B_1(1)-B_1(0)=1$.^[ref]

For $p\ge 1$, adding $N^p$ to $S_p(N)$ changes the $B_1$ contribution from $-N^p/2$ to $+N^p/2$. Equivalently,where only $B_1^{+}$ differs from our Bernoulli numbers. A quick endpoint check is $p=1$: the sums over $0,\dots ,N-1$ and $1,\dots ,N$ are $N(N-1)/2$ and $N(N+1)/2$, respectively. The latter is a triangular number.

A slowly varying, steady, inviscid channel flow has constant discharge $Q=uh$ per unit width and the displayed Bernoulli equation. The bed-height function of depth has its maximum at $h_c=(Q^2/g{)}^{1/3}$, where the Froude number is one. At a nondegenerate critical crest, a differentiable profile changes between the subcritical flow and supercritical flow branches. With subcritical upstream squared Froude number $F<1$ and upstream depth $h_1$, the shock-free supercritical downstream depth is $h_1(F+\sqrt{F^2+8F})/4$.

In a steady adiabatic inviscid fluid with a conservative body force, the Bernoulli invariant is the displayed specific energy, constant along each streamline. Dotting the Euler equations with velocity and using the specific enthalpy identity gives $\mathbf{u}\cdot \nabla b=0$. In ideal magnetohydrodynamics, magnetic work need not vanish; the planar ideal-MHD Bernoulli invariant includes the corresponding electromagnetic correction.

This one-step operator combines immediate cost with optimized discounted continuation. It is monotone. For nonnegative costs, iterating it from zero produces increasing finite-horizon values bounded above by the infinite-horizon value. If a nonnegative fixed point has a minimizing measurable selector, repeated conditional expectation and dropping the nonnegative terminal value show that the corresponding stationary policy costs no more than that fixed point. Thus the infinite-horizon value, when the Bellman equation holds, is the least nonnegative fixed point.

A Bell inequality is a constraint on observable correlations satisfied by the specified class of local hidden-variable models. In finite-setting scenarios such constraints bound linear combinations of probabilities or expectation values. The CHSH inequality is one example, following from Bell factorization, measurement independence and bounded outcomes. A violation rules out the conjunction of the assumptions defining that model class; it does not alone identify a unique false premise.

A Mach-Zehnder interferometer splits an incident wave into two arms and recombines them at a second beam splitter. A relative quantum phase changes the interference at its output ports. With symmetric lossless 50:50 splitters, the ports can be calibrated to have detection probabilities ${\cos }^2(\theta /2)$ and ${\sin }^2(\theta /2)$.

// Target: optics.bigb

A polarizing beam splitter sends two orthogonal linear polarizations to different output paths. Acting coherently on $\alpha |H⟩+\beta |V⟩$, it correlates path with photon polarization instead of measuring photon polarization unless a path is actually detected or discarded.

For an ideal polarizing beam splitter with one input, choose orthogonal unit electromagnetic polarization vectors ${\mathbf{e}}_H,{\mathbf{e}}_V$ and an incident power-normalized field $a_H{\mathbf{e}}_H+a_V{\mathbf{e}}_V$. If $H$ is transmitted and $V$ reflected, the output powers are $P_{\mathrm{transmitted}}=|a_H{|}^2$ and $P_{\mathrm{reflected}}=|a_V{|}^2$. The associated complex amplitudes can acquire different wave phases; the routing is not an equal-power split for every incident electromagnetic polarization. For linear polarization at angle $\theta$ to $H$, input power $P$ gives $P{\cos }^2\theta$ and $P{\sin }^2\theta$, respectively. At $\theta =30^{\circ }$, a stipulated $4\mathrm{mW}$ input gives $3\mathrm{mW}$ transmitted and $1\mathrm{mW}$ reflected. A $45^{\circ }$ input gives equal powers even though an $H$ input goes entirely into the transmitted output.^[ref]

Real polarizing beam splitters have leakage into the unwanted output and losses. Each linear polarization has its own field transformation and power coefficients. To make an ordinary power wave interference term between the two output contributions, first bring them into the same path with overlapping transverse profiles and a common electromagnetic polarization, for example using a polarizer. Merely placing two orthogonal linear polarizations on a polarization-insensitive photodetector adds their powers. Coherent routing can be reversed by suitable optics before detection; discarding a path loses access to that part of the field but supplies no recorded measurement outcome by itself.

// Target: optics.bigb

Maximum a posteriori estimation selects a parameter value maximizing its posterior density relative to a specified reference measure. Its output is a maximum a posteriori estimate. The maximizing value need not be invariant under a nonlinear reparameterization, because a density transforms with a Jacobian.

For data $x$, a positive prior distribution density $\pi$ and likelihood function $\ell$, Bayes' theorem gives posterior density $h(\theta \mid x)=\pi (\theta )\ell (\theta )/m(x)$. Thus $h/\pi$ reconstructs the likelihood up to a constant. Estimate the posterior density from simulation, divide by the known prior density and maximize over the search region. A posterior mode alone instead estimates a maximum a posteriori estimate; it estimates a likelihood maximizer only when the prior is constant there. Prior support must include the likelihood maximizer of interest.

// Target: biology.bigb

The entry $K_{ij}$ is the expected number of newly infected type-$i$ individuals produced by a newly infected type-$j$ individual while the population is disease-free. In a compartmental linearization, $F$ describes new-infection production and $V$ transitions and removal. Provided the infection-lifetime subsystem is transient, its integrated occupation matrix is $V^{-1}$, yielding $K=F{V}^{-1}$. The basic reproduction number is its spectral radius. This construction is described in the original next-generation-matrix derivation.

For $p=K{\rho }^{1+1/m}$, the barotropic enthalpy function is $m{c}_s^2$. In $\Phi =-\lambda /R^2-\mu /R$, a regular sonic point obeys $c_{s,s}^2=\lambda /R_s^2+\mu /(2R_s)$, and its Bernoulli integral yields the displayed quadratic. For $K,\lambda ,\mu >0$ and the usual positive polytropic index, its unique positive root exists precisely when $m>1/2$. The mass accretion rate is $4\pi R_s^2{\rho }_{\infty }{c}_{s,s}(c_{s,s}^2/c_{\infty }^2{)}^m$. If indices with $0<1+1/m<1$ are admitted, $m<-1$ also permits a positive sonic root; negative compressibility indices do not.

For isomorphic finite-dimensional normed vector spaces, the Banach-Mazur distance is the infimum of $\Vert S\Vert \Vert S^{-1}\Vert$ over their linear isomorphisms. If an $N$-dimensional subspace $E$ of a Banach space of cotype 2 satisfies the summing estimate ${\pi }_2(T)\le L\Vert T\Vert$ for operators from ${\ell }_{\infty }^N$, then $d(E,{\ell }_{\infty }^N)\ge \sqrt{N}/L$: compose an isomorphism with the inclusion and use ${\pi }_2(I_E)=\sqrt{N}$.

A uniform algebra on a compact Hausdorff space $K$ is a closed complex subalgebra of $C(K)$, with the supremum norm, containing the constants and separating points. Evaluation embeds $K$ continuously and injectively in the character space of an algebra. The embedding is a homeomorphism onto a closed subset because its domain is compact and its target is Hausdorff. Extra characters need not be point evaluations on the specified $K$.

With complex scalars and pointwise multiplication, the product rule gives a submultiplicative norm. For a Cauchy sequence, uniform limits $f$ of the functions and $g$ of their derivatives satisfy $f(t)-f(0)={\int }_0^{t}g(s)ds$, proving $f^{\prime }=g$ and completeness. Polynomials are dense in this norm: approximate $f^{\prime }$ uniformly by polynomials and integrate, fixing the initial value. This also identifies the character space of C1 on a compact interval.

A norm-closed subalgebra of a Banach algebra is itself a Banach algebra with the inherited norm: completeness follows from closedness, and the submultiplicative norm bound restricts to it. A unital inclusion uses the same identity as the ambient algebra. Inverse membership may still differ between the two algebras; spectrum in a closed unital subalgebra describes that difference.

With left Haar measure, $(f\ast g)(x)={\int }_{G}f(y)g(y^{-1}x)dm(y)$ makes $L^1(G)$ a Banach algebra, since $\Vert f\ast g{\Vert }_1\le \Vert f{\Vert }_1\Vert g{\Vert }_1$. For an Abelian group it is commutative, and the involution is $f^{\ast }(x)=\overline{f(x^{-1})}$. Its nonzero characters of an algebra are exactly integration against inverses of continuous unitary group characters.

// Target: geometry-and-topology.bigb

A Hermitian Banach algebra is a Banach algebra with an algebra involution for which every Hermitian element of a star algebra has real spectrum of an element. A closed unital star-subalgebra has spectral permanence for Hermitian Banach algebras. The assumption is weaker than being a C-star algebra and does not require the C-star norm identity.

If an associative unital algebra has a complete norm and separately continuous multiplication, the Uniform boundedness principle applied to $L_x(y)=xy$, for $\Vert x\Vert \le 1$, yields $\Vert xy\Vert \le C\Vert x\Vert \Vert y\Vert$. The operator norm of $L_x$ then defines an equivalent algebra norm: $\Vert x\Vert /\Vert e\Vert \le \Vert L_x\Vert \le C\Vert x\Vert$, and $L_{xy}=L_x{L}_y$ proves submultiplicativity. It normalizes the identity to norm one.