A zero mode is a nonzero eigenvector of an operator with eigenvalue zero. For a differential fluctuation operator it must also satisfy the specified boundary conditions. A zero mode prevents ordinary inversion of the operator and makes its unmodified functional determinant vanish. Gauge directions can produce zero modes of a kinetic operator, while stationary-path focusing can produce them in a semiclassical boundary-value problem. Removing, separately integrating or otherwise treating these directions is necessary before using a Gaussian determinant formula.

For a linear operator on a finite-dimensional complex vector space with $A^2=I$, every even power is $I$ and every odd power is $A$. Separating the absolutely convergent matrix exponential series into those powers proves the displayed identity without a Hermiticity assumption. If $A$ is also a Hermitian operator, the exponential is a unitary operator.

The vector space of functions satisfying $\Delta f=\lambda f$ for a specified Laplace-Beltrami operator. On a closed manifold its dimension is finite and is the spectral multiplicity of $\lambda$. A finite isometric group action preserves this space; invariant elements are the Laplacian eigenfunctions on the corresponding smooth quotient.

If a real linear operator $A$ on an $n$-dimensional vector space has $n$ distinct real eigenvalues, any real square root $B$ commutes with $A$ and preserves each one-dimensional eigenspace. There $B$ is multiplication by a real $b_i$, hence ${\lambda }_i=b_i^2\ge 0$. Conversely, if all the eigenvalues are nonnegative, choosing $b_i=\sqrt{{\lambda }_i}$ on an eigenbasis supplies a real square root. Without simple spectrum the necessity fails: a real quarter-turn squares to $-I$.

An eigenline is a one-dimensional vector subspace spanned by an eigenvector. If $Av=\lambda v$ with $v\ne 0$, then $A(av)=\lambda av$ for every scalar $a$, so the line is an invariant subspace. It can be contained in an eigenspace of larger dimension; an eigenline need not be the whole eigenspace.

A Dirichlet eigenfunction is an eigenfunction of a differential operator satisfying a homogeneous Dirichlet boundary condition. The term applies to more general boundary-value operators as well as the Dirichlet Laplacian.

A nodeless real eigenfunction has no zero in the interior of the domain. For a one-dimensional confining Schrödinger operator, the nodeless theorem for a one-dimensional ground state identifies the ground state as the eigenfunction that can be chosen strictly positive. Normalizable excited states have nodes.

At small areal number density $\varphi$, identical aligned cracks contribute independently the fixed-throughflow dissipation reduction of a conductive crack. Equating the mean dissipation density to $\mu U^2/k_{xx}^{\ast }$ gives the displayed first-order enhancement. Writing $k/[1-\pi \varphi a^2\alpha /(1+\alpha )]$ is an algebraic noninteraction estimate, not a claim of accuracy at higher density. The enhancement saturates as crack conductance becomes large compared with transport through the surrounding porous matrix.

Consider planar horizontal layers with positive scalar intrinsic intrinsic permeabilities $k_i$, thicknesses $b_i$, and fractions $f_i=b_i/{\sum }_j{b}_j$. Assume each layer is uniform and isotropic, fully saturated by the same Newtonian fluid of constant mass density and dynamic viscosity, with perfect hydraulic contact and steady incompressible flow. Use boundaries that impose pure flow normal to the layers or a common gradient of hydraulic head along them; additional interface resistance and finite-edge effects are excluded.

For vertical flow normal to the layers, every layer carries the same normal Darcy flux by mass conservation. The hydraulic head drops add. Writing $B={\sum }_i{b}_i$ and taking positive $\Delta h_i$ as the drop along the flow direction givesThis is the thickness-weighted harmonic mean. It is hydraulic head, rather than fluid pressure alone, that accounts correctly for gravity in the vertical calculation. A thin layer of very small permeability of a porous medium can control the whole discharge because all flow must pass through it.

For horizontal flow parallel to the layers, each layer experiences the same gradient of hydraulic head. For width $W$, each area is $A_i=W{b}_i$, and the individual volume fluxes add:This is the thickness-weighted arithmetic mean. A highly permeable layer can carry most of the horizontal flow because it supplies a continuous route from inlet to outlet. Woessner and Poeter derive both cases for hydraulic conductivity; identical fluid properties allow the common factor $\rho g/\mu$ to cancel.^[ref]

For two equally thick layers, take $k_1=k_0$ and $k_2=9k_0$, where $k_0=10^{-12}{\mathrm{m}}^2$. The values 1 and 9 are therefore permeabilities in units of $k_0$, rather than dimensionless intrinsic intrinsic permeabilities. ThenAcross the layers, the less permeable half takes $90\%$ of the total hydraulic head drop and the more permeable half only $10\%$. Along the layers, the more permeable half carries $90\%$ of the total volume flux. At the same magnitude of imposed gradient of hydraulic head, horizontal Darcy flux is $5/1.8=25/9\simeq 2.78$ times the vertical Darcy flux.

The arrangement thus creates physical anisotropy from locally isotropic ingredients. In coordinates with $x,y$ along the layers and $z$ normal to them, the effective permeability of a porous medium tensor is ${\mathbf{k}}_{\mathrm{eff}}=\mathrm{diag}(5,5,1.8)k_0$. A driving gradient of hydraulic head with both horizontal and vertical components generally produces a discharge in a different direction. This distinction matters when deciding whether a geological bed conducts aquifer flow along itself or acts as a barrier to flow across it.

Regenerate the diagram by running python ../layered-porous-permeability.py from _media; it writes its PNG into the current directory.

For $s>0$ in the finite moment-generating function domain and integrable $X$, Jensen inequality gives the lower bound and $X\le \mathrm{esssup}X$ almost surely gives the upper bound. The Holder inequality makes $K(s)=\log \mathbb{E}{e}^{sX}$ convex with $K(0)=0$. Thus $K(t)\le (t/s)K(s)$ for $0<t<s$, and the effective bandwidth is nondecreasing. It need not be strictly increasing: deterministic traffic gives a constant bandwidth. Infinite peaks or exponential moments require extended-value conventions.

For a nondecreasing process $A$ with stationary increments and independent increments, suppose $\mathbb{E}{e}^{\theta A(t)}=e^{t\Lambda (\theta )}$. If $\Lambda (\theta )\le C\theta$, then $e^{\theta (A(t)-Ct)}$ is a nonnegative supermartingale. Applying the maximal inequality for a nonnegative supermartingale up to time $T$ and then letting $T\to \infty$ givesThe stationary workload of a stable queue fed by $A$ has this supremum distribution, using the past input and stationary increments and independent increments. For independent flows, the constraint is ${\sum }_j{a}_j(\theta )\le C$, where $a_j(\theta )={\Lambda }_j(\theta )/\theta$ is the long-time effective bandwidth. The result bounds a continuous-time supremum directly; a one-time Chernoff bound by itself does not do that.

Let a slotted queue have stationary input, constant service $c$, and finite stationary queue workload $Q={\sup }_{n\ge 0}(A_n-cn)$. Write $K_n(\theta )=\log \mathbb{E}{e}^{\theta A_n}$ for its past cumulative arrivals. The union bound and Chernoff bound give the displayed inequality for $B>0$. It requires no temporal independence. If each $K_n(\theta )$ is finite and $K_n(\theta )/n\to \kappa (\theta )<c\theta$, the series is finite: its tail is bounded by a geometric series. Consequently ${\mathrm{limsup}}_{L\to \infty }{L}^{-1}\log \mathbb{P}(Q>Lb)\le -\theta b$ for $b>0$. The condition is that the asymptotic effective bandwidth $\kappa (\theta )/\theta$ be less than service capacity.

Independent slots carry either zero work or $r>0$ units, the latter with probability $p$. Their effective bandwidth is the displayed expression, with small-parameter limit $pr$ and large-parameter limit $r$ when $0<p<1$. For $pr<c<r$, the positive root of $\log (1-p+p{e}^{\theta r})=c\theta$ determines the optimized exponential overflow bound. In the special case $r=2,c=1,p<1/2$, the stationary queue workload is geometric with ratio $p/(1-p)$, and the root is ${\theta }_{\ast }=\log ((1-p)/p)$, giving exactly $\mathbb{P}(Q\ge k)=e^{-{\theta }_{\ast }k}$ for integers $k\ge 0$.

For independent Poisson arrival counts of mean $\nu$ per slot, with one unit of work per arrival, the cumulant-generating function is $\nu (e^{\theta }-1)$. Its effective bandwidth is the displayed expression. If $c>\nu$, the equation $\nu (e^{\theta }-1)=c\theta$ has a unique positive root: strict convexity, negative initial derivative after subtracting $c\theta$, and divergence to infinity prove existence and uniqueness. Independent Poisson streams combine by replacing $\nu$ with the sum of their intensities.

Let $X$ count $k$-cliques in a binomial random graph on $m$ vertices and $Y$ count distinct ordered pairs sharing an edge. The clique conflict graph gives $Z_k\ge X^2/(X+Y)$: order its vertices randomly and keep each one preceding all its neighbours, then apply the Cauchy-Schwarz inequality. Another application gives $\mathbb{E}{Z}_k\ge (\mathbb{E}X{)}^2/(\mathbb{E}X+\mathbb{E}Y)$. If $\mathbb{E}Y/(\mathbb{E}X{)}^2=O(k^4/m^2)$ and $1/\mathbb{E}X$ is no larger, then $\mathbb{E}{Z}_k=\Omega (m^2/k^4)$. Changing one edge changes $Z_k$ by at most one, so the Azuma-Hoeffding inequality for an edge-exposure martingale yields the displayed exponential absence bound. This supports a union bound over exponentially many adaptive candidate subsets.

For the upper plane-wave branch of the quintic real Ginzburg-Landau equation, put $\Lambda =2R^2(2R^2-\alpha )>0$. A modulation of wavenumber $p$ has growth rates $-p^2-\Lambda /2\pm \sqrt{{\Lambda }^2/4+4Q^2{p}^2}$. Long-wave phase diffusion is positive when $4Q^2<\Lambda$, giving the displayed stability boundary. At equality the leading phase growth is $-p^4/\Lambda$, so the boundary is marginal in the diffusion coefficient but damped at the next spatial order. In the $(\mu ,Q)$ plane the boundary is $\mu =2Q^2-\alpha [\alpha +\sqrt{{\alpha }^2+16Q^2}]/8$.

For a real Ginzburg–Landau equation plane wave with amplitude squared $b/g>0$, perturbing its amplitude and phase couples Fourier modes on either side of its carrier wavenumber. The displayed eigenvalues follow from the real-linear two-component perturbation equation. Their small-$p$ phase branch is $-\xi (\mu -3\xi q^2)p^2/(\mu -\xi q^2)+O(p^4)$, so the robust infinite-domain stable band is $q^2<\mu /(3\xi )$. On a finite periodic envelope domain only discrete $p$ are allowed; an instability requires an allowed $p$ with $p^2<6q^2-2\mu /\xi$. Uniform amplitude perturbations alone cannot determine this Eckhaus instability.

With uniform thermal wind $U=\Lambda z$ above a plane boundary, write the zero-interior-potential vorticity response as ${\psi }^{\prime }=\mathrm{Re}\{A{e}^{-\mu z+i(kx+ly)}\}$, where $\mu =N\sqrt{k^2+l^2}/f$ and $f>0$. Boundary vertical velocity $ϵ\cos (kx+ly-{\omega }_{0}t)$ gives $C=N^2ϵ/(f\mu )$ and natural angular frequency $\omega =\Lambda k/\mu$. An initially zero response has $A=C(e^{-i{\omega }_{0}t}-e^{-i\omega t})/[i(\omega -{\omega }_0)]$. Its continuous resonant limit is $Ct{e}^{-i\omega t}$: forcing in phase with the boundary mode supplies energy every cycle, and linear undamped theory predicts secular growth.

Start at one and apply $n$ updates, each multiplying the current value by $1+1/n$. The final value is $(1+1/n{)}^n$: one update gives $2$, two give $2.25$, ten give approximately $2.59374$, and one hundred give approximately $2.70481$. Increasing the number of steps, while reducing each increment proportionally, approaches Euler's number rather than producing unbounded accumulation.

The natural logarithm makes the limit transparent. For $u>0$, its integral definition gives $u/(1+u)\le \ln (1+u)\le u$, by bounding $1/t$ on $[1,1+u]$. With $u=1/n$,The squeeze theorem gives a logarithmic limit of one; continuity of the exponential function gives $(1+1/n{)}^n\to e$. This links a discrete multiplicative rule with continuous exponential growth, without assuming that a finite number of steps equals the limiting value.

The linear incompressible flow $\mathbf{u}=(-\omega x,-\omega y,2\omega z)$ compresses the transverse plane and stretches the axial direction. An axial magnetic field obeys $B_t-\omega r{B}_r=2\omega B+\eta {\Delta }_{\perp }B$. In ideal magnetohydrodynamics, its amplitude grows as $e^{2\omega t}$ while its transverse width decreases as $e^{-\omega t}$. Thus its magnetic energy per unit axial length grows as $e^{2\omega t}$, even when opposite-polarity angular sectors give zero signed magnetic flux. Finite magnetic diffusivity limits the amplification of localized finite-flux Gaussian fields.