After a rapid switch to systolic compliance $C_s$, negligible valve resistance equalizes arterial and ventricular pressures. Neglecting runoff during this short stage conserves combined stored volume and gives the displayed pressure. Thereafter, with closed mitral valve, negligible venous pressure and constant $C_s$, the pressure decays as ${\hat{p}}_a{e}^{-t/[R_c(C_a+C_s)]}$. At firing duration $\Delta t_F$, the stroke volume is $V^{+}-V_0-C_s{\hat{p}}_a{e}^{-\Delta t_F/[R_c(C_a+C_s)]}$. Each approximation follows from an explicit valve or time-scale separation condition.

If an open aortic valve equilibrates pressure much faster than peripheral outflow, the arteries and ventricle share a common pressure while their combined blood volume is conserved during the short adjustment. Let arterial vascular compliance be $C_a$ and systolic ventricular elastance be $E_s$. Equating the initial and final arterial-plus-ventricular stored volumes gives the displayed pressure. Subsequent peripheral drainage sees the combined compliance $C_a+1/E_s$; during filling a closed aortic valve removes the ventricular contribution.

Compression of veins by skeletal muscles, with venous valves favouring forward flow.

Venesection at the elbow. The ancient instruction to open a hollow vein here does not mean opening the vena cava.

For a nonzero vector space with an infinite field or infinite basis, cardinality is the displayed maximum, since vectors are finite linear combinations of basis vectors. Over a finite field, infinite underlying size forces infinite dimension. Over a countably infinite field, every positive finite dimension is already countably infinite. The theory of infinite underlying spaces is therefore categorical in every infinite cardinal for a finite field, but only in uncountable cardinals for a countably infinite field.

Let $H$ be a lower-bounded self-adjoint Hamiltonian operator and $I$ a commuting self-adjoint operator with $I^2=1$. For a normalized trial vector $\varphi$, define $a=⟨H{⟩}_{\varphi }$, $b=⟨I{⟩}_{\varphi }$, $c=⟨HI{⟩}_{\varphi }$. The Rayleigh quotient on $\varphi +tI\varphi$ is $[(1+t^2)a+2tc]/[1+t^2+2tb]$, with derivative $2(c-ab)(1-t^2)/(1+t^2+2tb{)}^2$. Unless $c=ab$, its extrema are the normalized nonzero vectors $\varphi \pm I\varphi$, with energies $(a\pm c)/(1\pm b)$. Their difference is $2(c-ab)/(1-b^2)$, identifying the maximum and minimum.

The orthogonal projections $(1\pm I)/2$ split any trial energy into a weighted mean of the two sector energies, so one nonzero sector projection never raises the trial energy. If $|b|=1$, one projected vector is zero and its quotient is undefined; the remaining family has constant energy. Exchange symmetry makes these sectors bosonic and fermionic spatial wavefunctions. Stationarity within this two-dimensional trial space does not generally make a vector an exact eigenvector of $H$.

The superior vagal ganglion, also called the jugular ganglion, contains sensory neuronal cell bodies near the skull exit of the vagus nerve. It should be distinguished from the more inferior nodose population and from central vagal motor nuclei.

The inferior vagal ganglion, also called the nodose ganglion, contains sensory neuronal cell bodies associated with many visceral vagal pathways. It is distinct from the superior vagal ganglion in location, developmental origin and the sensory populations represented.

The superior laryngeal nerve is a branch of the vagus nerve with internal and external divisions. Sensory supply above the vocal folds and motor supply to the cricothyroid muscle travel through different branches, linking anatomy to distinct functions.

The recurrent laryngeal nerve is a branch of the vagus nerve whose course loops around major thoracic vessels before returning toward the larynx. It supplies most intrinsic laryngeal motor pathways. The long recurrent course connects neck function with vulnerability along a thoracic route.

Vagotomy is interruption of the vagus nerve or selected branches. Its physiological effects depend on which fibers and destinations are interrupted. Loss of a vagal influence does not prove that all regulation of the target has disappeared.^[ref]

A type parameter can be bounded using a type expression containing that same parameter. In Scala, [T <: Ordered[T]] requires each admissible T to provide comparison with another T. This gives a generic minimum scan access to x < y for two elements of type T. An arbitrary unrelated upper bound would not establish the needed argument type.

For the topology consisting of the empty set, the whole real line, and upper open rays, a nonempty subset is compact exactly when it has a smallest element. An open set containing the smallest element contains the entire subset. Conversely, if there is no smallest element, the rays $(a,\infty )$ indexed by points $a$ of the subset cover it, but any finite selection misses its smallest chosen endpoint.

By symmetry assume $a\ge b>0$ and integrate $f(z)=e^{iaz}\sin (bz)/z^2$ around an upper semicircle indented clockwise above zero. The residue at zero is $b$. The expansion $(e^{i(a+b)z}-e^{i(a-b)z})/(2i{z}^2)$ bounds the large arc by $\pi /R$, including when $a=b$. The upper-half-plane indentation rule therefore gives $\mathrm{PV}{\int }_{\mathbb{R}}f(x)dx=i\pi b$. Its imaginary part is even and ordinarily integrable, yielding the displayed value. At zero the sine-product integrand tends to $ab$; at infinity it is bounded by $1/x^2$. The principal value is needed for the auxiliary complex integral, not for the real sine-product integral.

In the grammar $\varphi ::=p_i\mid \neg \varphi \mid (\varphi \to \varphi )$, no logical formula is a proper initial segment of another. A recursive parser reads one variable, or a negation followed by one formula, or a parenthesized pair of formulas separated by implication. Structural induction shows that this parser consumes precisely one whole formula. Its deterministic stopping position proves prefix-freeness. Consequently any formula substring in a valid formula coincides with the formula of a syntax subtree.

Arrange a uniform random permutation of $n$ distinct ordered elements around a circle, and let $L$ be the greatest number of consecutive entries that appear in increasing order. Put $k_0=\min \{k:k!\ge n\}$. Then $\mathbb{P}(k_0-2\le L\le k_0)\to 1$ as $n\to \infty$.

Let $X_k$ count increasing consecutive blocks of length $k$. Each of the $n$ starting positions succeeds with probability $1/k!$, so $\mathbb{E}{X}_k=n/k!$. For $k\le n/2$, disjoint blocks have independent relative orders; blocks overlapping with a start displacement $s<k$ are both increasing precisely when their length-$k+s$ union is increasing. ThusConsequently Markov's inequality gives $\mathbb{P}(L\ge k_0+1)\le 1/(k_0+1)$, while Chebyshev's inequality gives $\mathbb{P}(L<k_0-2)\le 2/(k_0-1)$ for sufficiently large $n$. The latter uses $n/(k_0-2)!>k_0-1$. Both bounds vanish. These are consecutive cyclic runs; allowing arbitrary skipped entries is a different permutation statistic.

An inflorescence whose primary branches arise together and each end in an umbellet.

For a nonprincipal ultrafilter on the primes, the ultraproduct of the prime fields ${\mathbb{F}}_p$ is a field of characteristic zero. Each fixed sentence $n\cdot 1\ne 0$, $n\ge 1$, fails at only finitely many prime divisors of $n$; its cofinite truth set belongs to the ultrafilter, so Łoś theorem transfers it to the product. Every sentence eventually true in the prime fields also transfers. However, the sentence asserting that minus one is a square splits along the two infinite prime classes modulo four. Ultrafilters concentrating on these two classes yield different characteristic-zero fields satisfying the same eventual-truth theory, showing that this common theory is incomplete.

The product topology of two compact spaces is compact, without a Hausdorff condition. Refine an open cover locally by basis rectangles. For fixed $a\in A$, compactness of $B$ selects finitely many rectangles whose second factors cover $B$. Their first factors have an open finite intersection $U_a$ containing $a$, and the finitely many original covering members cover $U_a\times B$. Use compactness of $A$ to choose finitely many $U_a$ covering $A$. The associated finitely many original members form a finite subcover of $A\times B$. Repeating the argument proves the finite-factor case of Tychonoff's theorem.

For two independent quantum harmonic oscillators of frequencies $\omega$ and $3\omega$, the product state with occupation numbers $n_{+},n_{-}\ge 0$ has energy $(n_{+}+3n_{-}+2)\hslash \omega$. For a fixed excitation integer $N$, every allowed pair is $n_{-}=j$, $n_{+}=N-3j$ with $0\le j\le \lfloor N/3\rfloor$. Each contributes one orthogonal product eigenvector, proving the displayed degeneracy. The offset two is the sum of the two zero-point energies in units of $\hslash \omega$.