For $\kappa >0$ and the radial exponential trial state $e^{-\alpha r}$, $\alpha >0$, put $a={\hslash }^2/(m\kappa )$. Direct radial integration gives the Rayleigh quotientThe kinetic expectation is ${\hslash }^2{\alpha }^2/(2m)$; the potential expectation follows by splitting its radial integral at $R$. The common prefactor cancels from the stationary condition, giving $a\alpha =(1+2\alpha R)e^{-2\alpha R}$. Its positive solution is unique, since the left side increases and the right side decreases. For $\epsilon =R/a\to 0$, it satisfies $a\alpha =1-2{\epsilon }^2+O({\epsilon }^3)$.

The quantum variational principle makes $E(\alpha )$ an upper bound for the ground energy. The explicit choice $\alpha =1/a$ gives $E_0(R)\le (\kappa /a)[1/2-\{1-(1+\epsilon )e^{-2\epsilon }\}/\epsilon ]$, whose first correction to $-\kappa /(2a)$ is $2\kappa R^2/(3a^3)$. The true energy is no lower than the point-Coulomb value because capping makes the potential less attractive.

For an integrable real random variable with distribution function $F$, the generalized inverse $F^{\leftarrow }(u)=\inf \{x:F(x)\ge u\}$ sends a uniform random variable on $(0,1)$ to the distribution $F$. This follows from $F^{\leftarrow }(u)\le x$ if and only if $u\le F(x)$. Equality of laws proves both the expectation formula and absolute integrability of the quantile. Atoms and flat pieces of $F$ cause no problem.

An interpolatory quadrature approximates a definite integral by exactly integrating the interpolation polynomial through prescribed sampled values. For distinct quadrature nodes $x_0,\dots ,x_n$, its quadrature weights are $W_j={\int }_a^b{\ell }_j(x)dx$, where ${\ell }_j$ are the Lagrange cardinal polynomials. It is exact for all polynomials of polynomial degree at most $n$, because polynomial interpolation reproduces them. Newton-Cotes quadrature adds equal spacing of the quadrature nodes.

Impose zero Dirichlet boundary conditions on an interval. The isoperimetric constraint $I[y]=1$ is regular because $D{I}_y[y]=2I[y]=2\ne 0$. The Lagrange multiplier rule applied to $J-\lambda (I-1)$ gives the Sturm-Liouville equationMultiplying by $y$ and using integration by parts gives $J[y]=\lambda I[y]=\lambda$. Thus the multiplier is the stationary value of the original functional, or its Rayleigh quotient. This calculation does not require $w$ to have one sign; positive-weight spectral conclusions require additional hypotheses.

If two stationary functions have different multipliers, multiplying their equations crosswise and subtracting gives $({\lambda }_n-{\lambda }_m)\int w{y}_n{y}_m=0$. The endpoint terms vanish. This proves the weighted orthogonality of Sturm-Liouville eigenfunctions. Higher stationary values need not be local minima of the constrained functional.

The Euler-Lagrange equation is $y^{\prime \prime }+ky=0$. For positive $k$ a nonzero stationary function exists exactly when $\sqrt{k}$ is a positive integer $n$, and all such functions are $B\sin (nx)$. These values are the Dirichlet eigenvalues of $-d^2/d{x}^2$ on the interval. At $k=0$ the solutions are affine and the endpoint conditions leave only zero; negative $k$ likewise leaves only zero. Stationarity alone does not assert minimization of the quadratic functional.

Use determinant-one Givens rotations and choose every nonzero eliminated pair to leave a positive pivot. If the input square matrix $A$ is orthogonal, its resulting upper triangular factor $R$ is orthogonal too, and hence diagonal with entries of absolute value one. Positivity fixes the first $n-1$ entries to one, while determinant preservation fixes the last to $\det A$. A negative last entry is unavoidable when the input reverses orientation.

A point $b$ lies in $\overline{f[A]}$ exactly when some ultrafilter containing $A$ has pushforward converging to $b$. For the forward implication, the sets $A\cap f^{-1}[V]$ for neighborhoods $V$ of $b$ form a filter base; extend to an ultrafilter. For the reverse implication each such intersection belongs to a proper filter and is nonempty.

The source of the sliced or rasped heartwood called Pterocarpi lignum.

A tree on $2m+1$ labels has one root of degree two, $m-1$ other interior vertices of degree three, and $m+1$ leaves precisely when its Prüfer code contains one label once, $m-1$ labels twice, and all other labels zero times. The Prüfer degree formula gives both directions, and identifies the root as the uniquely once-occurring label. Children are unordered unless a plane embedding is additional data.

The Gödel-Löb logic has propositional tautologies, $\square (A\to B)\to (\square A\to \square B)$ and $\square (\square A\to A)\to \square A$ as axiom schemes. Its rules are modus ponens rule and the necessitation rule; uniform propositional substitution is built into the schemes. Under an arithmetic realization, each axiom and each rule preserves provability in a theory with the Hilbert-Bernays-Löb derivability conditions and diagonalization. This proves arithmetic soundness by induction on derivations; it is distinct from claiming that every true arithmetic sentence is provable.

For a proper matching in a rooted tree, the number of unmatched vertices in a matching does not exceed the number of leaves of a rooted tree. From each unmatched vertex, build a downward path: at an internal current node that is unmatched or matched upward, every child must be matched downward to one of its own children, or properness would fail. Follow a child and its matching partner, then repeat. The path terminates at a leaf and contains no other unmatched vertex. Two such downward paths cannot meet, since then one unmatched starting point would lie on the other's path. Their distinct endpoints give the required injection. No maximum-size assumption is needed.

The displayed metric on a countable Cartesian product of metric spaces combines the bounded metric transform with summable positive weights. It is finite even when individual factor metrics are unbounded. The triangle inequality follows from subadditivity of $t/(1+t)$ and summation. Zero distance forces equality in each coordinate.

Convergence in this metric is exactly coordinatewise convergence. One term is bounded by the sum, so $D(x^{(n)},x)\to 0$ implies each $d_i(x_i^{(n)},x_i)\to 0$. Conversely, choose a finite head whose omitted weight sum is small; convergence in those finitely many coordinates controls the head uniformly, while boundedness of the transformed distances controls the entire tail. Thus it induces the countable product topology. Arbitrary positive summable weights work by the same proof.

For a prime number $p$, the ideal $(p,X)$ in the polynomial ring $\mathbb{Z}[X]$ is proper: the constant coefficient of every member is divisible by $p$. If $(p,X)=(g)$, then $g$ divides the nonzero constant $p$, so the additivity of polynomial degree over an integral domain makes $g$ constant. Since $g$ also divides $X$, it must divide its leading coefficient $1$; thus $g=\pm 1$. This would make the ideal the whole ring, a contradiction. Therefore $\mathbb{Z}[X]$ is not a principal ideal domain, and hence not a Euclidean domain.

Let $\pi$ be an irreducible element of a principal ideal domain $R$, and suppose $\pi \nmid a$. The ideal $(\pi ,a)=(d)$ has generator $d$ dividing $\pi$. Irreducibility makes $d$ a unit or an associate of $\pi$; the latter would imply $\pi \mid a$. Hence $(\pi ,a)=R$, giving $u\pi +va=1$ for some $u,v\in R$. If $\pi \mid ab$, multiply this identity by $b$: both $u\pi b$ and $vab$ are divisible by $\pi$, so $\pi \mid b$. This is precisely the prime element property.

In dimensionless Couette-Poiseuille flow in a thin gap with lower-wall velocity one and stationary upper wall, the conserved volume flux satisfies $Q=h/2-h^3{p}_x/12$. Equal pressures at the two ends imply $\int p_{x}dx=0$ and give the displayed expression. It is a weighted average of the positive gap height with weight $h^{-3}$, so $\min h\le 2Q\le \max h$. The local pressure gradient has the sign of $h-2Q$, making the flux constraint useful for locating pressure extrema without solving for the pressure explicitly.

Reachability in a directed graph, allowing length-zero paths, is a preorder: zero steps give reflexivity and concatenation gives transitivity. Distinct mutually reachable vertices violate antisymmetry. Its equivalence classes under mutual reachability are the strongly connected components; the induced reachability relation on those classes is a partial order. Equivalently, contracting the classes gives the acyclic condensation graph.

For outer tangential speed $U_s=A{e}^{\alpha x}$ in steady Prandtl boundary-layer equations, the displayed similarity solution makes the streamwise convection, pressure gradient and transverse viscous diffusion have the same exponential factor. Its profile equation is $f^{\prime \prime \prime }+(\alpha /2)f{f}^{\prime \prime }+\alpha (A^2-(f^{\prime }{)}^2)=0$, with $f(0)=f^{\prime }(0)=0$ and $f^{\prime }(\infty )=A$. Attached far-field matching requires $\alpha A>0$: the outer speed increases along the direction of motion. Linearizing $g=f^{\prime }-A$ at large $\eta$ gives $g^{\prime \prime }+(\alpha A/2)\eta g^{\prime }-2\alpha Ag\simeq 0$. For positive $\alpha A$ there is a Gaussian-decaying mode, while negative $\alpha A$ leaves only growing nontrivial asymptotic modes. Local thinness additionally requires a large Reynolds number based on the speed and its streamwise variation length.

For arbitrary sets $A,B$ each containing at least two elements, the displayed inequality follows by explicitly encoding two subsets in disjoint parts of a Cartesian product. Choose $a_0\ne a_1$ and $b_0\ne b_1$, put $S$ along the row $A\times \{b_0\}$, put $T\setminus \{b_0\}$ along the column $\{a_0\}\times (B\setminus \{b_0\})$, and add the extra point $(a_1,b_1)$ precisely when $b_0\in T$. These regions are disjoint, so the encoding recovers both $S$ and $T$ and is an injection from $\mathcal{P}(A)\times \mathcal{P}(B)$ into $\mathcal{P}(A\times B)$. This proves the cardinality inequality even for infinite sets. For finite sizes $a,b\ge 2$, the same result is $2^{ab}\ge 2^{a+b}$, since $ab-a-b=(a-1)(b-1)-1\ge 0$. Mapping $(S,T)$ to $S\times T$ is insufficient because all pairs with an empty factor collapse.

For complex potential of a two-dimensional potential flow $w=U(z+a^2/z)-i\Gamma \log z/(2\pi )$, zeros of the complex velocity solve a quadratic. If $0<\gamma <1$, the displayed two roots are distinct and both have modulus $a$; positive circulation places them above the centreline. Their polar angles satisfy $\sin \theta =\gamma$. At the threshold $\gamma =1$ they merge at the top of the cylinder. This follows also from the surface tangential velocity $-2U\sin \theta +\Gamma /(2\pi a)$. The shifted stream function $U(r-a^2/r)\sin \theta -\Gamma \log (r/a)/(2\pi )$ is constant on the cylinder.

For the nonlinear diffusion equation $u_t=(u{u}_x{)}_x+u/(2t)$ on $x>0,t>0$, the fixed boundary value $u(0,t)=1$ and zero slope at $x=0$ admit the displayed compact-support similarity solution, with front $x_F=2\sqrt{t}$. Substitution $u=f(x/\sqrt{t})$ reduces the equation to $(f{f}^{\prime }+\eta f/2{)}^{\prime }=0$. The boundary data make the integration constant zero. While $f>0$, division gives $f^{\prime }=-\eta /2$, hence $f=1-{\eta }^2/4$. At its first zero the diffusive flux $u{u}_x$ vanishes, so extension by zero creates no singular flux term. The solution is smooth inside its positive region and is a weak solution at the moving front.