A characteristic exponent is a value $\lambda$ for which an exponential mode $e^{\lambda t}$ solves the homogeneous constant-coefficient linear equation or system. Repeated exponents can give polynomial factors multiplying that exponential.

An invertible linear transformation replaces one system of coordinates by another. If $x=Pu$ in a linear differential equation $\dot{x}=Ax$, then $\dot{u}=P^{-1}APu$. The similar matrices $A$ and $P^{-1}AP$ have the same characteristic polynomial and eigenvalues, although their coordinate descriptions of the eigenvectors differ. Such a change can turn a planar linear system with eigenvalues $\alpha \pm i\beta$ into $\dot{u}=\alpha u-\beta v$, $\dot{v}=\beta u+\alpha v$.

A rational-linear map is a linear map when its domain and codomain are regarded as vector spaces over the rational numbers. An additive map on a rational vector subspace of the real numbers is automatically rational-linear: integer homogeneity follows by repeated addition, and division by a positive integer gives rational homogeneity of an additive function.

A real-linear map is a linear map over the real numbers. For a map from the real line to itself, real linearity means multiplication by a fixed real number, its value at one. Rational-linear maps need not be real-linear without an additional regularity condition.

In the one-sorted vector-space language naming each scalar multiplication, a first-order formula reduces by quantifier elimination to finitely many linear equations. An independent pair satisfies only the identically zero equations among them. A dependent pair $(x,ax)$ with nonzero $x$ satisfies the same listed equations if the scalar $a$ avoids their finitely many forbidden ratios, which is possible over an infinite field. Thus no formula defines pair independence. The complete independent-pair type is still consistent in an infinite-dimensional model; it is nonisolated.

A vanishing highest-derivative coefficient can make the two initial values of a second-order differential equation dependent. Suppose $h$ is continuous at zero, $a$ is constant, and a solution of $[t(y^{\prime }+ay){]}^{\prime }=h(t)$ has finite continuous $y,y^{\prime }$ at zero. Integration givesRegularity forces $C=0$. Dividing by $t>0$ and taking the limit gives $y^{\prime }(0)+ay(0)=h(0)$, since the integral average tends to $h(0)$. The remaining equation is first order and therefore has only one free regular initial value. For $a=1$ and $h(t)=t$, it yields $y^{\prime }+y=t/2$ and $y=A{e}^{-t}+(t-1)/2$. This explains the reduced constant count without treating the singular endpoint as an ordinary second-order initial point.

For a point vortex of circulation $\Gamma$ in the wedge $0<\theta <\pi /n$, with positive integer $n$, the conformal map $z\mapsto z^n$ sends the domain to the upper half-plane. An opposite image vortex gives the complex potentialRemove the singular self-induced velocity before setting $z=c$. The resulting complex velocity isThe finite first term follows from the expansion of $(z^n-c^n)/(z-c)$ at $c$. In polar coordinates this becomes $\dot{r}=n\Gamma \cot (n\theta )/(4\pi r)$ and $\dot{\theta }=-\Gamma /(4\pi r^2)$. Therefore $r\sin (n\theta )$ is constant along a vortex trajectory. The case $n=1$ is motion parallel to a plane wall, while $n=3$ describes a sixty-degree wedge.

For an ideal line vortex of circulation $\Gamma$ held stationary at distance $d$ from an impermeable plane wall, the opposite-sign image from the method of images gives wall-parallel velocityIn this stationary-flow model, subtracting uniform ambient pressure and applying the Bernoulli equation givesThe integral ${\int }_{-\infty }^{\infty }(d^2+y^2{)}^{-2}dy=\pi /(2d^3)$ yields force magnitude per unit vortex lengthdirected from the wall toward the fluid and vortex.

The held-stationary assumption matters. A free point vortex is advected parallel to the wall at $\Gamma /(4\pi d)$ by its image. That flow is time dependent in the wall frame, so its pressure also contains the time derivative of the velocity potential. The stationary pressure deficit cannot be transferred unchanged to that moving-vortex problem.

In the impermeable strip $x>0$, $0<y<a$, a line source of strength $Q$ at an interior point $c$ has the displayed complex potential of a two-dimensional potential flow, with locally consistent complex logarithm and $f(z)=\cosh (\pi z/a)$. The hyperbolic-cosine map of a half-strip sends the walls to the real axis. An equal image line source at $\overline{f(c)}$ makes that axis a streamline. Since $f^{\prime }(c)\ne 0$, the local singular part remains $Q\log (z-c)/(2\pi )$, proving preservation of strength. With no extra imposed flow, the complex velocity tends to $Q/a$ as $x\to \infty$, so the outgoing volume flux is $Q$. The source position $c$ has positive imaginary part; assuming it real would place it on a wall.

In the upper half-plane, a line source of outward volume flux $Q$ at height $a$ above an impermeable wall has an equal image source below it. On the wall $u=Qx/[\pi (x^2+a^2)]$ and the normal velocity vanishes. The steady Bernoulli equation gives $p-p_{\infty }=-\rho Q^2{x}^2/[2{\pi }^2(x^2+a^2{)}^2]$. Sincethe ambient-relative force per unit length pulls the wall toward the source with the displayed magnitude. The torque about the source's projection onto the wall is zero in the symmetric Cauchy principal value sense. Individual one-sided moments diverge logarithmically. This planar result differs from the three-dimensional hydrodynamic attraction of a plane wall to a point source.

Take formulas whose free variables lie among a fixed $n$-tuple and identify them when their universal equivalence follows from $T$. Conjunction, disjunction and negation induce a Boolean algebra; its order is implication modulo $T$. Complete types correspond to ultrafilters and isolated complete types to atoms. For a complete theory in a countable language, finiteness of these algebras for every finite $n$ characterizes countable categoricity.

A subset of the plane can have three successive strict changes under taking its set of accumulation points. For example letPut $B=\{(1/n+1/(n^{2}m),0):n,m\ge 1\}$ and $C=\{(1/n,0):n\ge 1\}$. Then $A^{\prime }=B\cup C\cup \{0\}$, $A^{\prime \prime }=C\cup \{0\}$ and $A^{\prime \prime \prime }=\{0\}$, where $0$ denotes the origin. For fixed $n,m$, increasing $k$ gives a point of $B$; increasing $m$ gives a point of $C$; increasing $n$ gives the origin. These are all possible limits: in any convergent sequence of distinct points, either $n$ is unbounded, or a subsequence fixes $n$ and has unbounded $m$, or a subsequence fixes both and has unbounded $k$. The first-coordinate cluster intervals $[1/n,1/n+1/n^2]$ are disjoint and separated away from the origin. Repeating this classification after each differentiation proves the displayed derived sets. Each derivative removes one layer of isolated points, and all three displayed changes are strict.

A small conducting sphere of radius $a$ has electric polarizability $\alpha =4\pi {ϵ}_0{a}^3=a^3/k$. In the field $E\simeq k{Q}_1/R^2$ of a much more strongly charged distant source, its leading induced contribution is $-\alpha E^2/2$, in addition to $k{Q}_1{Q}_2/R$ for its fixed net charge. Taking $-dU/dR$ gives $F_R\simeq k{Q}_1{Q}_2/R^2-2k{Q}_1^2{a}^3/R^5$. The approximation requires $a/R\ll 1$ and control of the source's finite-size corrections; the threshold is not an exact finite-sphere result.

Call a Lie algebra pre-supersoluble if it is abelian or its quotient by its centre has a one-dimensional ideal. Every nonzero such algebra has nonzero abelianization over every field. To prove this, choose $x$ outside the centre with $Z(L)+Fx$ an ideal and write $[a,x]=\lambda (a)x+z(a)$ with $z(a)$ central. The Jacobi identity gives $\lambda ([a,b])=0$. If $\lambda \ne 0$, the derived algebra lies in its proper kernel. If $\lambda =0$, Jacobi gives $[[a,b],x]=0$, so the derived algebra lies in the proper centralizer of an element of a Lie algebra of $x$. The abelian case is immediate. This condition does not imply solvability: ${\mathfrak{sl}}_2(\mathbb{C})$ direct sum the affine Lie algebra of the line has zero centre and a one-dimensional ideal in the affine factor, but is not solvable.

Strict positivity of the highest-derivative coefficient on the closed parameter interval is the strengthened Legendre condition. Continuity then gives a uniform positive lower bound and makes the Jacobi equation a regular second-order equation. It permits the Jacobi positivity criterion. It is not necessary for mere strict positivity of a second variation: $\int {\phi }^2$ is strictly positive on nonzero variations even though its derivative coefficient vanishes.

The sigma-algebra of all Lebesgue measurable sets, equivalently the completion of a measure of the Borel sigma-algebra under Lebesgue measure. It contains every subset of every Lebesgue null set. Applying Carathéodory's criterion to Lebesgue outer measure gives another construction of this same sigma-algebra.

If $u$ is Lebesgue integrable and $v$ is measurable on the same measure space, then $u+v$ is integrable exactly when $v$ is integrable. One implication follows from $|u+v|\le |u|+|v|$; the other follows from $|v|\le |u+v|+|u|$. Thus adding a function with finite integral of its absolute value cannot remove a failure of absolute integrability. This is the vector space property of L1 space stated as a useful test for a sum of terms with different decay rates.

Plural name of the lateral recess of the fourth ventricle.

The paired lateral aperture of the fourth ventricle openings.

For a contour integral with factor $e^{{\zeta }^4/4+z\zeta }$, the quartic term dominates the linear term on rays at large radius. Writing $\zeta =r{e}^{i\theta }$ gives real part $r^4\cos (4\theta )/4$ for the leading exponent. There are four decay sectors, centered at $\theta =\pi /4+j\pi /2$ and each of angular width $\pi /4$. On a closed subsector the integrand and all its $z$ derivatives decay faster than any exponential in $r$, locally uniformly in $z$. Contours joining two such sectors therefore allow differentiation under the integral sign and have vanishing infinite endpoint terms. Distinct geometric contours still need an independence proof; their initial moments often give a Vandermonde matrix calculation.