Blood within the pericardium; a sufficiently rapid collection can cause cardiac tamponade. ^[ref]

Find a graph path whose least edge weight is as large as possible. In a connected undirected graph, use the unique route in a maximum spanning tree. Deleting a least-weight edge on that route gives a separating cut of a graph; a heavier crossing edge would improve the tree's total weight, so every competing route contains an edge no heavier than the deleted one. This proves the bottleneck optimum without assuming distinct weights.

An even-length graph path in an edge coloring is repetitively colored when its first half and second half have the same color sequence in the same order. For a path with distinct edges colored independently and uniformly from $k$ colors, the probability of a repetition on $2r$ edges is $k^{-r}$: after the first $r$ colors, the last $r$ colors are prescribed. Reversing the path preserves this property, so the corresponding bad events may be indexed by unoriented paths.

On $L^2(0,a)$, the midpoint parity operator is $(R_a\psi )(x)=\psi (a-x)$. Substitution $y=a-x$ gives $⟨f,R_{a}g⟩=⟨R_{a}f,g⟩$ and $\Vert R_{a}f\Vert =\Vert f\Vert$, so it is a bounded self-adjoint operator and a unitary operator, with $R_a^2=I$. It is the parity operator in the centered coordinate $x-a/2$.

For an infinite square well, ${\psi }_n=\sqrt{2/a}\sin (n\pi x/a)$ obeys $R_a{\psi }_n=(-1{)}^{n+1}{\psi }_n$. Reflection preserves the Dirichlet boundary conditions and commutes with the second derivative, so $R_a$ commutes with the Hamiltonian operator on its operator domain. By contrast, differentiating once gives $P{R}_a=-R_{a}P$ for the momentum operator. This distinction permits conserved midpoint parity with changing mean momentum.

Adjective referring to the parasympathetic nervous system.

In a complete Non-Archimedean absolute value field, a series converges if and only if its terms tend to zero: the ultrametric inequality bounds every finite tail by its largest term. The displayed sequence tends to zero in ${\mathbb{Q}}_p$. But each block $p^k\le n<p^{k+1}$ contributes $p-1$ to the real sum of its p-adic absolute values, so that real sum diverges.

For a positive even weight on a symmetric interval, any orthogonal polynomial of degree $k$ has the parity of $k$. Induct on $k$. The reflected polynomial $q_k(x)=(-1{)}^k{p}_k(-x)$ has the same leading coefficient. By substitution $x\mapsto -x$ in the weighted inner product and the inductive parity of all lower polynomials, it is orthogonal to them. Hence $q_k-p_k$ has lower degree and is orthogonal to the entire space containing it. Its squared norm is zero, forcing $q_k=p_k$. The base case is a constant. This proof needs neither monic nor unit-norm normalization; it only compares polynomials with the same leading coefficient.

An orthonormal family of orthogonal polynomials also gives each member unit norm in the chosen weighted inner product. Its pairwise inner products are the Kronecker delta. Dividing every nonzero orthogonal polynomial by its norm produces such a family; the sign or complex phase still requires a convention, such as a positive real leading coefficient.

Assume a positive even weight on a symmetric domain has finite polynomial moments. Subtracting the orthogonal projection onto a finite-dimensional subspace of $x^n$ onto the lower-degree polynomials gives the unique monic orthogonal polynomial. Reflection produces another such monic polynomial, $(-1{)}^n{\varphi }_n(-x)$, so uniqueness gives the parity identity. Every coefficient with the opposite parity to its degree therefore vanishes.

For the inner product obtained by integrating with weight $|x|$ on $[-1,1]$, odd moments vanish and the moment of $x^{2m}$ is $1/(m+1)$. The first monic orthogonal polynomials are $1$, $x$ and $x^2-1/2$. Positive definiteness follows because the weight is positive almost everywhere and a nonzero polynomial cannot vanish almost everywhere.

A system of ordinary differential equations specifies derivatives of several unknown functions of one independent variable. A vector-valued form ${\mathbf{y}}^{\prime }=\mathbf{f}(t,\mathbf{y})$ bundles its scalar equations. A scalar second-order ordinary differential equation $y^{\prime \prime }=F(t,y,y^{\prime })$ becomes the first-order system $(y_1^{\prime },y_2^{\prime })=(y_2,F(t,y_1,y_2))$ by introducing position and velocity variables. Conversely the first equation identifies $y_2=y_1^{\prime }$ and the second recovers the original equation. Its initial condition must specify both variables.

Where $y\ne 0$, its logarithmic derivative $q=y^{\prime }/y$ changes this nonlinear second-order ordinary differential equation into the first-order linear differential equation $q^{\prime }=a(x)q$. For continuous $a$, initial values $y(x_0)=y_0\ne 0$ and $y^{\prime }(x_0)=v_0$ therefore giveDifferentiation proves both the equation and the initial data. The exponential preserves the sign of $y_0$, so the solution never reaches the singular value zero on any finite interval where $a$ is continuous. For $a(x)=2x$ and $y_0=v_0=1$, the expression reduces to $y(x)=\exp ({\int }_0^x{e}^{t^2}dt)$.

An autonomous differential equation for $f(\eta )$ can be reduced by one order on a monotone solution branch by using $f$ as the new independent variable. Setting $G(f)=df/d\eta$ and applying the chain rule gives the displayed derivative identities. The absence of explicit $\eta$ dependence makes the resulting equation involve only $f,G$ and derivatives of $G$. A point with $G=0$ is singular for this coordinate change; for example $f\sim b{\eta }^2/2$ gives $G\sim \sqrt{2bf}$ on an appropriate branch, so $G_f$ need not remain finite there.

A group element has finite order if some positive integer power equals the identity element. Its order of a group element is the least such positive integer.

For equality-constrained optimization, restrict the Hessian matrix $H$ of the optimization Lagrangian to feasible tangent directions. If the columns of $Z$ form a basis of the nullspace of the constraint Jacobian matrix $A$, the resulting quadratic form has matrix $Z^{T}HZ$. Positive definiteness gives positive quadratic curvature in every nonzero tangent direction. Nonsingularity of this reduced matrix, together with full row rank of $A$, characterizes nonsingularity of the corresponding equality-constrained saddle-point matrix.

The logical system-wide collection of open file descriptions. Each description represents an opening, including access mode, current file offset and a reference to the underlying file. Independent opens of the same file normally create different descriptions, whereas descriptor duplication can make multiple file descriptors share one description. A table is an abstract organization here, not a requirement that all entries occupy one fixed array.

Minimizing the log-cosh energy over zero-trace functions above an obstacle yields the displayed inequality for every feasible competitor. Convexity supplies the one-sided admissible segments. On the open noncontact region, compactly supported variations of both signs are feasible because the gap from the obstacle has a positive minimum on their support. Their first variations vanish, giving $-\Delta u+\tanh u=0$ there. This stationarity equation need not hold on the contact set.

For a string of positive tension $T$ with fixed endpoints $w(\pm 1)=0$, zero transverse loading and obstacle $f=h-x^2$, $0\le h\le 1$, equilibrium minimizes $T{\int }_{-1}^1(w^{\prime }{)}^2/2dx$ among functions above $f$. On a free interval $w^{\prime \prime }=0$, while in contact $w=f$. Smooth tangency of the right line through $(1,0)$ to the parabola at $x=s$ requires $h-s^2=2s(1-s)$, yielding the displayed root in $[0,1]$.

The two pieces join with equal value and slope. On the free portions $w-f=(|x|-s{)}^2\ge 0$; in contact $-T{w}^{\prime \prime }=2T$ is the nonnegative reaction. These facts verify the complementarity conditions. The associated variational inequality and the exact energy difference prove global minimality; strict convexity with fixed endpoints proves uniqueness. At $h=0$ contact reduces to one point; at $h=1$ it fills the whole interval.

The contact set is the region where the obstacle inequality $w\ge f$ is active. On its complement the obstacle supplies no reaction; its boundary is a free boundary, determined along with the unknown solution. A point can belong to the contact set while its contact force is zero, as for a taut horizontal string just touching an obstacle at one point. Thus equality of the gap alone does not imply strictly positive pressure.

The noncontact set is where the unknown function is strictly above its obstacle. For continuous functions it is open. Every smooth variation with compact support in this set remains feasible with either sign when its amplitude is small enough. The first variation therefore vanishes there, yielding the unconstrained Euler-Lagrange equation. On the complementary contact set of an obstacle problem, only the appropriate one-sided variational inequality is available globally.