A positive-strength parallel point stresslet below a flat shear-free impermeable plane is attracted by its identical reflected image. Its height satisfies $\dot{h}=-S/(32\pi \mu h^2)$ and formally reaches zero in finite time. Negative strength reverses the drift. Finite-body near-contact physics lies outside this singularity prediction.

For equal stresslets with height $h$ and axial separation $\ell \gg h$, the neighbour image doubles the leading axial repulsion. Its normal contribution is smaller than own-image attraction by order $(h/\ell {)}^3$, so leading height dynamics are unchanged. The approximation also neglects weak neighbour-induced orientation corrections.

A map is Fréchet differentiable at $x$ if it admits a bounded linear first-order approximation: $f(x+h)=f(x)+Ah+o(\Vert h\Vert )$ for a continuous linear map $A$.

A map on a subset of a normed vector space is Hadamard differentiable at $s$ if its directional difference quotients converge to a continuous linear map uniformly along all convergent sequences of directions: $t_j\to 0$, $a_j\to a$, and $s+t_j{a}_j$ in the domain imply $(\Phi (s+t_j{a}_j)-\Phi (s))/t_j\to {\dot{\Phi }}_s(a)$. Tangential differentiability restricts the limit directions to a specified subspace. This is the regularity used by the functional delta method.

A coframe dual to a local frame of the tangent bundle is the corresponding local frame of the cotangent bundle. Its elements are differential one-forms. Applying the coframe to covariant derivatives of the frame extracts the connection one-forms; applying it to the torsion tensor extracts the torsion forms.

For a complex symmetric three-dimensional $A=G+iB$ with real symmetric $B$ and positive-definite $G$, the reciprocal is a regular tempered distribution since $|x^{T}Ax|\ge x^{T}Gx$. Holomorphic continuation of the real quadratic transform proves the displayed expression. The determinant branch is the analytic determinant square root for accretive symmetric matrices. The other root has positive real part because $\mathrm{Re}({\xi }^T{A}^{-1}\xi )={\xi }^T{G}^{-1/2}(1+C^2{)}^{-1}{G}^{-1/2}\xi >0$ for nonzero real $\xi$. Both the original and transformed singularities are locally integrable, so the continued identity holds as distributions at the origin too.

The group velocity of a flexural-gravity wave diverges on the long-wave gravity branch and on the short-wave bending branch, and therefore has a positive minimum between them when the bending stiffness is positive. This minimum bounds the propagation speed of narrow wave packets within the ideal model. It does not by itself determine a wind-generation threshold: steady forcing requires matching phase velocity, while dissipation and coupling determine growth.

With objective $\Vert Y-Xb{\Vert }_2^2/(2n)+\lambda \Vert b{\Vert }_1$, the Gaussian score event for the Lasso $\Vert X^Tϵ/n{\Vert }_{\infty }\le \lambda /2$ gives $Q+\lambda \Vert {\delta }_{S^c}{\Vert }_1\le 3\lambda \Vert {\delta }_S{\Vert }_1$, where $Q=\Vert X\delta {\Vert }_2^2/n$. The Lasso cone condition activates the Compatibility condition for the Lasso. Then $Q+\lambda \Vert \delta {\Vert }_1\le 4\lambda \sqrt{sQ}/{\varphi }_0\le Q/2+8{\lambda }^{2}s/{\varphi }_0^2$. Thus even $Q+2\lambda \Vert \delta {\Vert }_1\le 16{\lambda }^{2}s/{\varphi }_0^2$. This controls prediction and coefficient error together, including a design with correlated columns.

A dilute suspension of identical rigid spheres raises the dynamic viscosity by a fraction $5\varphi /2$, where $\varphi$ is the particle volume fraction. At imposed trace-free rate-of-strain tensor $E$, a sphere of radius $a$ adds viscous dissipation $20\pi \mu a^3(E:E)/3$. Multiplication by the number density $3\varphi /(4\pi a^3)$ gives $5\mu \varphi E:E$, which added to $2\mu E:E$ proves the formula. This is the leading noninteracting-sphere term; hydrodynamic interactions enter at higher concentration.

A functor $\mathcal{D}\times \mathcal{C}\to \mathcal{E}$ is uniquely a functor $\mathcal{D}\to [\mathcal{C},\mathcal{E}]$: fix its first coordinate and use its first-coordinate arrows as natural transformations. Uncurrying evaluates those transformations and second-coordinate arrows. The adjunction unit inserts a fixed first coordinate, and the adjunction counit is evaluation. This makes the category of small categories cartesian closed.

For left M-sets, $B^A$ consists of equivariant maps of monoid sets $M\times A\to B$ for the diagonal action on the domain. Its action is $(m\cdot f)(w,a)=f(wm,a)$ and evaluation is $f(1,a)$. The curry of an equivariant $h:C\times A\to B$ is $\hat{h}(c)(w,a)=h(w\cdot c,a)$. This construction can have noninjective action maps even when both $A$ and $B$ are decidable.

The evaluation map is the counit representing application in an exponential object. For every $Z$, composition with evaluation gives the natural bijection $\mathrm{Hom}(Z,Y^X)\cong \mathrm{Hom}(Z\times X,Y)$. Its inverse is currying. Evaluation must be a morphism in the ambient category, such as an equivariant map in a category of group actions.

Currying transforms a morphism of two variables into a morphism taking values in an exponential object. The evaluation map of an exponential object recovers the original morphism. Its categorical universal property requires naturality and uniqueness, not just an underlying set bijection.

For independent and identically distributed random variables with law $N(-1,1)$, $e^{2S_n}$ is a nonnegative martingale, since the increment's moment-generating function equals one at parameter two. The Doob maximal inequality gives $\mathbb{P}(Z>t)\le e^{-2t}$ for the all-time maximum $Z\ge 0$. Integrating the tail gives the displayed bound. For $b\le 0$, $e^{bZ}\le 1$. The strong law of large numbers guarantees finiteness and attainment of the maximum because $S_n\to -\infty$.

After $k$ collisions a packet chooses an independent counter uniformly from $\{0,\dots ,2^k-1\}$ and retries when it expires. The window doubles after a further collision. This is an example of exponential backoff with a nonconstant retry rule, contrasting with constant-probability slotted ALOHA.

For a scalar conservative monotone update with flux $F$, define $Q(a,b;c)=F(a\vee c,b\vee c)-F(a\wedge c,b\wedge c)$. Monotonicity and preservation of constant states give $|U_j^{n+1}-c|\le |U_j^n-c|-(k/d)(Q_{j+1/2}-Q_{j-1/2})$. At equal states $Q(u,u;c)=\mathrm{sgn}(u-c)(f(u)-f(c))$, the Kruzhkov entropy flux. Such discrete inequalities connect stability of a monotone conservative scheme with the admissibility of its limiting entropy solution.

In the unsquared quantum fidelity convention, the fidelity between a purification and its channel output is the square root of entanglement fidelity. Tracing out the purifying reference leaves the input and output marginals. Monotonicity of quantum fidelity under partial trace therefore gives the bound. Preserving an input marginal is a weaker requirement than preserving its correlations with a reference.

The Weierstrass elliptic function and its derivative give an isomorphism $z\mapsto (\wp (z),{\wp }^{\prime }(z))$ from a one-dimensional complex torus to a smooth plane cubic, with $0$ sent to its identity at infinity. The three nonzero two-torsion points of a complex torus are zeros of ${\wp }^{\prime }$. Its triple pole implies that these three zeros are simple. If two half-period values of the Weierstrass elliptic function coincided, $\wp -e$ would have at least four zeros counted with multiplicity, contradicting its double pole. The three cubic roots are therefore distinct, proving smoothness of an algebraic variety. The degree-two map $\wp$ has fibers $\{z,-z\}$, distinguished by ${\wp }^{\prime }$ away from the half-periods, proving bijectivity. A line pulls back to an elliptic function with a triple pole, and the zero-pole sum of an elliptic function says that its three intersections sum to zero on the torus. This gives exactly the chord-and-tangent group law, including repeated intersections interpreted by intersection multiplicity.

The Drude model explains finite electrical conductivity by balancing charge carrier acceleration in an electric field against loss of directed momentum through collisions. Its useful surprise is that continuous microscopic motion can produce a constant macroscopic current density: the applied electric field continually restores the directed momentum lost to the material. The simplest version has one mobile species, constant number density $n$, electric charge $q$, mass $m>0$, and momentum relaxation time $\tau >0$, in a stationary, homogeneous, isotropic material. At zero magnetic field, its mean drift velocity and current density obeyFor electrons, $q=-e$ with positive elementary charge $e$, so ${\sigma }_0=n{e}^2\tau /m$. The electron drift velocity points against a constant electric field, whereas conventional current points along it. Random microscopic velocities can have zero mean without being zero individually; drift velocity is this population mean, rather than each particle's speed.^[ref]

The same first-order linear differential equation predicts both Drude current relaxation after switching an electric field and the Drude frequency response to a sinusoidal electric field. Together they let a measured electrical conductivity be interpreted in terms of a density, a mass, and a time scale; a single constant-field measurement determines only their combination $n{q}^2\tau /m$.

The original 1900 paper Zur Elektronentheorie der Metalle by Paul Drude sought a common account of electrical transport and heat transfer using mobile charged particles and ideas from the kinetic theory of gases. Its introduction, especially printed pp. 568–569, explains that comparing different transport phenomena could constrain the populations of free and bound charged particles. The modern momentum relaxation time formulation above is a useful presentation of the model, not a verbatim translation of the original notation or its historical assumptions about mass.^[ref]

A material whose current density is proportional to its electric field, with proportionality given by its electrical conductivity.