A nonzero finitely generated Weyl algebra module over $A_n(\mathbb{C})$ is holonomic when it attains the lower bound in the Bernstein inequality for Weyl algebra modules. The zero module is also conventionally called holonomic. Nonzero subquotients of a holonomic module remain holonomic. Additivity and integrality of the leading Hilbert-polynomial multiplicity then bound the number of nonzero factors in any submodule chain, giving finite composition length.

A good Bernstein filtration on a finitely generated module produces a finite graded module over $\mathrm{gr}{A}_n\cong \mathbb{C}[x_1,\dots ,x_n,{\xi }_1,\dots ,{\xi }_n]$. Its support is the characteristic variety for this filtration. Its algebraic dimension is the Bernstein growth dimension of a Weyl algebra module, which is independent of the choice of good filtration.

Write $p(x)=a_1{x}^2+2a_{2}x(1-x)+a_3(1-x{)}^2$ on $[0,1]$. Endpoint evaluation gives $a_1=p(1)$ and $a_3=p(0)$, while midpoint evaluation gives $a_2=2p(1/2)-[p(0)+p(1)]/2$. Thus $\Vert p{\Vert }_{\infty }\le 1$ implies $|a_1|,|a_3|\le 1$ and $|a_2|\le 3$. These bounds are sharp: $p(x)=8x^2-8x+1$ has uniform norm one and coefficients $(1,-3,1)$.

The explicit Bernoulli stochastic differential equation solution remains positive and finite on every finite interval when $0<\delta \le 1$. For $\delta >1$ it diverges when the displayed integral reaches its threshold. At $\alpha =0$ this occurs deterministically. At $\alpha \ne 0$, Brownian motion has positive probability of making the integral exceed any threshold on a fixed interval, so global existence is not almost sure. The distinction between positive explosion probability and certain explosion matters: the negative linear drift of $\log F$ makes its total positive-power exponential integral finite almost surely when $\alpha \ne 0$.

For benign subgroups $H,K\le G$, amalgamate their finite-presentation witnesses over the finitely generated $G$, then adjoin independent stable letters $t,s$ centralizing their finite-generation witnesses. Britton's lemma identifies the subgroup generated by $G,t,s$ with the extension centralizing $H,K$. In it, $G\cap G^{ts}=H\cap K$ and $G\cap ⟨G^t,G^s⟩=⟨H,K⟩$. Both conjugate witnesses are finitely generated, proving benignity. For the second identity, the subgroup generated by $G,G^t,G^s$ is the iterated amalgamated free product $G{\ast }_H{G}^t{\ast }_K{G}^s$; its normal forms show that adjoining each outer copy intersects the central copy only in the subgroup already generated by $H,K$.

If $N◃G$ is a benign subgroup, use its witness $N=G\cap L$ inside a finitely presented group. Enumerate words on the generators of $L$, together with proofs that each equals a substituted word on the generators of $G$. This enumerates exactly the null words of $G/N$, giving a recursive presentation of a group. The Higman embedding theorem then embeds the finitely generated quotient in a finitely presented group.

A nonprincipal ultrafilter on the natural numbers gives a Banach limit by taking the ultralimit of the Cesàro means of each bounded sequence. Compactness of a closed bounded interval, or disk for complex sequences, supplies the limit. Finite intersections in the filter give linearity; nonnegative averages give positivity; constants give norm one. The Cesàro theorem for convergent sequences gives agreement with ordinary limits because the ultrafilter contains every cofinite set. For the left shift on bounded sequences, the two means differ by $(x_{n+1}-x_1)/n$, which tends to zero, proving shift invariance.

The displayed sublinear functional on the real l-infinity sequence space agrees with the ordinary limit on convergent sequences. A dominated extension by the Hahn-Banach theorem therefore defines a generalized limit bounded between the lower and upper limits of the Cesàro means. For the left shift on bounded sequences $S$, the averages of $Sx-x$ equal $(x_{N+1}-x_1)/N$, which tend to zero. Domination applied to both signs gives $L(Sx-x)=0$, hence shift invariance. Positivity, agreement on constant sequences and the operator norm one follow from the bounds, so $L$ is a Banach limit.

For a nonempty ordered coordinate set $A$, write $A^{-}=[\min A-1]$ and $A^{+}=[\max A-1]\setminus A$. An exact $k$-cover satisfies ${\sum }_{A}H(X_A\mid X_{A^{+}})\le kH(X)\le {\sum }_{A}H(X_A\mid X_{A^{-}})$. A short proof uses the chain rule for information entropy contributions $h_i=H(X_i\mid X_{[i-1]})$: each conditional subset entropy bounds ${\sum }_{i\in A}{h}_i$ on the appropriate side, by conditioning reduces entropy. Weighting gives the lower inequality for a fractional packing and the upper inequality for a fractional cover. See Madiman and Tetali, "Information Inequalities for Joint Distributions".

The proportionally fair allocation on a four-cycle has aggregate service $P/(P+Q)$ on each active odd route and $Q/(P+Q)$ on each active even route. With Poisson arrival rates ${\nu }_r$ and exponential document-size parameters ${\mu }_r$, the departure intensity is ${\mu }_r{n}_r{x}_r$. The adjacent ratios of the displayed binomial coefficient weight cancel those intensities in detailed balance, with ${\rho }_r={\nu }_r/{\mu }_r$.

For linear smoothers, let $C=I-11^T/n$ and $T_j=C{S}_{j}C$. The centered fixed-point equations of the backfitting algorithm have diagonal identity blocks and off-diagonal blocks $T_j$. On the centered component space, a consistent system has a unique answer exactly when its homogeneous system has only the zero solution. For two components the reduced equation is $(I-T_1{T}_2)f_1=T_1(I-T_2)Cy$. A common centered vector reproduced by both smoothers yields opposite perturbations of the components without changing their sum.

// Target: probability-and-statistics.bigb

For increasing sites and an ordered nonnegative normalized B-spline basis, the matrix $A_{ij}=N_j(x_i)$ is a totally nonnegative matrix. One way to see the minors' signs is knot insertion. Each inserted knot changes coefficients by $b_j={\alpha }_j{a}_j+(1-{\alpha }_j)a_{j-1}$ with $0\le {\alpha }_j\le 1$, using the standard constant endpoint pieces. This is a nonnegative rectangular bidiagonal map, whose minors are nonnegative. Products preserve that property by the Cauchy–Binet formula. Insert each site to full knot multiplicity; a suitable refined coefficient is then the value $s(x_i)$. Thus collocation is an ordered row submatrix of the refinement map, and has nonnegative minors. The strict support conditions $t_i<x_i<t_{i+k}$ give invertibility by the Schoenberg–Whitney theorem; its inverse has the checkerboard inverse of a totally nonnegative matrix sign pattern.

For $|y|=a$ and $n>-1$, this surface integral is finite: near $x=y$ its integrand has size $O(|x-y{|}^{2n})$ and the two-dimensional area element supplies one further power of distance. Rotational covariance and symmetry make it an axisymmetric symmetric rank-two tensor. Put $K=\pi (2a{)}^{2n+2}$. Polar integration about the $y$ axis gives $\mathrm{tr}T=K/(n+1)$ and $y^{T}Ty=a^{2}K/(n+2)$. Solving $3\alpha +\beta a^2=\mathrm{tr}T$ and $\alpha +\beta a^2=y^{T}Ty/a^2$ gives $\alpha =K/[2(n+1)(n+2)]$ and $\beta =\alpha (2n+1)/a^2$. Thus the weighted chord tensor becomes an isotropic tensor exactly at $n=-1/2$.

With $A=\mathcal{V}/\pi$, $g_0^{\prime }=g_0{c}_0$ and initial radius $R_0$, eliminating time from the axisymmetric settling box model gives $\sqrt{c/c_0}=(R_{\infty }^4-R^4)/(R_{\infty }^4-R_0^4)$. Put $s_0=R_0^2/R_{\infty }^2$ and $\tau =4A/(w_s{R}_{\infty }^2)$. Then $R^2/R_{\infty }^2=\tanh [t/\tau +\mathrm{artanh}{s}_0]$. Thus the finite limiting runout is approached at infinite time; treating it as an exactly attained finite-time stopping point contradicts these balances.

In a mixed particle-laden gravity current, a size class with settling speed $w$ has concentration $c(w,t)=c_0(w)e^{-wJ(t)}$. The shared reduced gravity is $g^{\prime }(J)=\int g_0(w)c_0(w)e^{-wJ}dw$, and $d{R}^4/dJ=4\mathrm{Fr}(\mathcal{V}/\pi {)}^{3/2}\sqrt{g^{\prime }(J)}$. Finite runout therefore requires ${\int }_0^{\infty }\sqrt{g^{\prime }(J)}dJ<\infty$. A positive minimum settling speed guarantees this; a distribution with arbitrarily small settling speeds need not. For $g_0{c}_0(w)\sim C{w}^p$ at zero, with $p>-1$, the integral converges precisely when $p>1$.

For a slender centreline $\mathbf{X}(\theta )=(A\cos \theta ,B\sin \theta ,b\theta )$, $-\pi \le \theta \le \pi$, let $s^{\prime }(\theta )=(A^2{\sin }^2\theta +B^2{\cos }^2\theta +b^2{)}^{1/2}$ and use local force density $\mathbf{f}=c(2I-\mathbf{tt})\mathbf{v}$, $\mathbf{t}=d\mathbf{X}/ds$, $c=2\pi \mu /\ln (L/R)$. Rotation with angular speed $\Omega$ gives $\mathbf{t}\cdot \mathbf{v}=\Omega AB/s^{\prime }$, henceAxial translation with speed $W$ gives exactly the same coefficient for the torque: $G_z=-cWABb\int d\theta /s^{\prime }$. Indeed $(\mathbf{X}\times \mathbf{t}{)}_z=AB/s^{\prime }$. Both forces and torques here are exerted on the fluid. In the circular case $A=B=a$, this reduces to $F_z/\Omega =G_z/W=-2\pi c{a}^{2}b/\sqrt{a^2+b^2}$. The equality is also a consequence of the Lorentz reciprocal theorem, since the local resistance tensor is symmetric.

For $x^{\prime \prime }+\epsilon (x^2-1)x^{\prime }+x=0$, the averaged amplitude for position-dependent damping has the displayed logistic-type equation. With $A(0)=1$, its positive solution is $A(T)=2/\sqrt{1+3e^{-T}}$. Small amplitudes grow and large ones decay toward the stable value two; the leading oscillation is $A(\epsilon t)\cos t$.

For $x^{\prime \prime }+\epsilon |x|x^{\prime }+x=0$ and unit initial amplitude, averaging uses $⟨|\cos \psi |{\sin }^2\psi ⟩=2/(3\pi )$. Thus $A_T=-2A^2/(3\pi )$ and the displayed algebraic envelope follows. The leading phase has no first-order drift. The dissipation is amplitude dependent, so an exponential envelope with a constant decay rate would give the wrong long-time scale.

A correlation time measures how rapidly a stationary stochastic process loses temporal dependence. Specify whether it means an exponential decay time, an integral of the normalized autocorrelation, or another width. For $R(t)=R(0)e^{-|t|/\tau }$, the exponential time and the one-sided integral ${\int }_0^{\infty }R(t)dt/R(0)$ both equal $\tau$.

An augmenting path maximizing the possible increase in flow, namely its smallest residual network edge capacity. If the remaining maximum flow is $F>0$ and the original undirected network has $m$ edges, a path has bottleneck at least $F/m$. Otherwise the vertices reachable through arcs of capacity at least $F/m$ define a cut of capacity strictly less than $F$, contradicting the max-flow min-cut theorem. Only one directed arc per original crossing edge contributes to that cut.