With ${\beta }_0>0$, differentiating ${\alpha }_s=g^2/(4\pi )$ under $\mu dg/d\mu =-{\beta }_0{g}^3/(16{\pi }^2)$ gives $d(1/{\alpha }_s)/d\ln \mu ={\beta }_0/(2\pi )$. Integration defines the strong-coupling scale $\Lambda$ and gives the displayed positive branch for $\mu >\Lambda$. The pole signals breakdown of perturbative quantum field theory. The equivalence between specifying ${\alpha }_s$ and specifying $\Lambda$ is dimensional transmutation.

For $Lu=-{\partial }_j(a^{ij}{\partial }_{i}u)+b^i{\partial }_{i}u+cu$ with smooth coefficients on a bounded smooth domain, the weak formulation of $(L+\lambda )u=f$ and conormal Robin boundary condition $a^{ij}{\partial }_{i}u{\nu }_j+\beta u=0$ isThe bilinear form is bounded by the Sobolev trace theorem. If $a^{ij}$ satisfy the positive uniformly elliptic operator inequality, the multiplicative trace inequality on a bounded smooth domain and the Young inequality show that the form is coercive when $\lambda$ is sufficiently large, even if $\beta$ and $c$ have negative parts. The Lax-Milgram theorem then gives a unique weak solution for every $f\in L^2(U)$.

In a connected Riemannian manifold, choose a small compact geodesic sphere around $p$ with $0<r<d(p,q)$. Minimize $d(\cdot ,q)$ on this sphere. Every path from $p$ to $q$ crosses it, so an almost-minimizing path has length at least $r+{\min }_{S_r(p)}d(\cdot ,q)$. The triangle inequality gives the reverse bound, yielding the displayed equality. No global completeness is needed.

For a bounded simply connected domain $D$ and a conformal bijection $f:\mathbb{D}\to D$, $f$ extends continuously to the closed disc if and only if $\partial D$ is a locally connected space. A Jordan boundary gives a homeomorphism of closed discs, but local connectedness alone need not give injectivity on the boundary: a slit has two boundary approaches. The same statement applies on the sphere to unbounded domains after a suitable change of coordinates. This boundary theorem is different from the Caratheodory extension theorem for measures.

For a stratified parallel shear flow, the gradient Richardson number compares the squared buoyancy frequency with squared vertical shear. The Miles–Howard theorem excludes exponentially growing inviscid normal modes when this ratio is at least $1/4$ everywhere. Where $U^{\prime }=0$, the equivalent criterion is written directly as $N^2\ge (U^{\prime }{)}^2/4$.

For $Y\sim N(X\beta ,V_{\theta })$ and a full-column-rank design matrix $X\in {\mathbb{R}}^{n\times p}$, take $A\in {\mathbb{R}}^{n\times (n-p)}$ with $A^{T}A=I$ and $A^{T}X=0$. Then $A^{T}Y\sim N(0,A^T{V}_{\theta }A)$, so restricted maximum likelihood maximizesChanging the orthonormal basis by an orthogonal matrix leaves this expression unchanged.

The order-s restricted isometry constant is the smallest nonnegative $\delta$ satisfying $(1-\delta )\Vert x{\Vert }_2^2\le \Vert Ax{\Vert }_2^2\le (1+\delta )\Vert x{\Vert }_2^2$ for every vector with at most $s$ nonzero coordinates. Equivalently it is ${\max }_{|S|\le s}\Vert A_S^{\ast }{A}_S-I{\Vert }_{2\to 2}$. The sparse-vector quantifier is essential, and the constant can equal zero.

Suppose $J$ is nonnegative and sequentially lower semicontinuous, and its sublevel sets are strongly sequentially compact. For a solvable exact equation $Au=f$, every sequence of residual-method minimizers with $\delta \to 0$ has a strongly convergent subsequence, and every limit is a J-minimizing solution. Indeed, comparison with an exact penalty minimizer bounds all reconstructions in one compact sublevel set; the residual bound gives $\Vert A{u}_{\delta }-f\Vert \le 2\delta$. Continuity of $A$ and lower semicontinuity of $J$ identify each subsequential limit as an exact minimizer. Thus the distance to a set of exact penalty minimizers tends to zero. Uniqueness of the exact minimizer upgrades this to full strong convergence.

Uniqueness cannot be omitted: for $A=0$, $f_{\delta }=f=0$, and $J(u)=\max \{|u|-1,0\}$ on $\mathbb{R}$, the sublevel sets are compact intervals but the minimizers $u_{1/k}=(-1{)}^k$ do not converge.

A roughness penalty penalizes variation of derivatives, such as $\int (m^{\prime \prime }{)}^2$. The second-derivative penalty vanishes precisely on affine functions and is represented in a chosen basis by a roughness penalty matrix.

For $\lambda \ge 0$, a full-column-rank design matrix $B$, and a positive semidefinite matrix $\Omega$, minimize $\Vert y-B\beta {\Vert }^2+\lambda {\beta }^T\Omega \beta$. Differentiation gives $(B^{T}B+\lambda \Omega )\hat{\beta }=B^{T}y$. The fitted-value matrix is $B(B^{T}B+\lambda \Omega {)}^{-1}{B}^T$, whose trace measures the effective degrees of freedom.

The Möbius line bundle over the circle iswith projection to $t$ modulo $2\pi$. It is a smooth rank-one vector bundle. A section is represented by a function $s$ satisfying $s(t+2\pi )=-s(t)$, so the intermediate value theorem forces every continuous section to vanish somewhere. Thus it has no nowhere-zero section and is not isomorphic to the trivial vector bundle of rank one.

For a degree-$N$ rational map, the angular Jacobian of a rational map has average $N$, so the Cauchy-Schwarz inequality gives $\mathcal{I}\ge N^2$. In dimensionless Skyrme model units the radial energy within the rational-map ansatz isFirst minimize $\mathcal{I}$ over admissible maps, then minimize over profiles with $f(0)=\pi$, $f(\infty )=0$. This gives a restricted variational approximation and an upper bound on the unrestricted minimum in that topological sector, not an exact multi-Skyrmion solution. Houghton, Manton and Sutcliffe developed this construction in arxiv.org/abs/hep-th/9705151.

For a random walk with independent and identically distributed random variables as increments and finite moment-generating function at $\theta$, put $\kappa (\theta )=\log \mathbb{E}{e}^{\theta X_1}$. Then $e^{\theta S_n-n\kappa (\theta )}$ is a martingale by conditioning on the next independent increment. In particular, if $r>0$ and $\mathbb{E}{r}^{X_1}=1$, then $r^{S_n}$ is a martingale. Stopping at a finite interval exit can make this process bounded, allowing the dominated convergence theorem to justify passage from bounded stopping times to the exit time.

For a centered real Gaussian random variable $\varphi$, its characteristic function gives $\mathbb{E}{e}^{i\varphi }=\exp [-\mathrm{Var}(\varphi )/2]$. Applied to a random phase screen, this controls the coherent and diffuse wave fields.

A random slope multiplies a predictor by a group-specific latent coefficient. With $b_j\sim N(0,{\tau }^2)$, a contribution $b_j{t}_i$ induces covariance ${\tau }^2{t}_i{t}_k$ for two observations in group $j$. A random slope does not necessarily include a random intercept.

Random effects are crossed when an observation can belong to levels of two grouping factors without one grouping factor being nested within the other. Independent location intercepts and incubator slopes, for example, contribute separate terms to the observation covariance matrix.

Time is divided into slots, and a slot succeeds exactly when one station transmits. With backlog $N$ and independent attempt probability $p$, the success probability is $Np(1-p{)}^{N-1}$. Fluid approximation of slotted ALOHA replaces the large-system binomial probabilities by Poisson probabilities.

A thin radiative envelope with constant enclosed mass, luminosity and mean molecular weight, ideal gas pressure and opacity $\kappa ={\kappa }_0{\rho }^n{T}^{-s}$ has $a=n+1$, $b=n+s+4$, and $C=16\pi a_{\mathrm{rad}}cGM/[3{\kappa }_0(\mu m_u/k_B{)}^{n}L]$. Combining radiative diffusion in a star with hydrostatic equilibrium gives ${\nabla }_{\mathrm{rad}}=P^a/(C{T}^b)$, so $P^a-P_0^a=(aC/b)(T^b-T_0^b)$ for nonzero exponents. Zero exponents give logarithmic limits. The model must be stopped or modified if the Schwarzschild criterion predicts convection.

A deep irradiated layer can remain stable against convection when its thermal opacity and outward radiative flux are constant. Specify a plane-parallel atmosphere in hydrostatic equilibrium, with constant gravity $g>0$, positive constant Rosseland mean opacity ${\kappa }_R$ and upward radiative flux $F>0$. At depths where incident stellar light has already been absorbed, radiative diffusion givesConsequentlywhere $T_0>0$ is the extrapolated boundary temperature of this simplified diffusion solution. The radiative temperature gradient obeysFor a homogeneous diatomic ideal gas with fixed rotational degrees of freedom, $\gamma =7/5$ gives adiabatic temperature gradient ${\nabla }_{\mathrm{ad}}=2/7>1/4$. The Schwarzschild criterion therefore predicts stability throughout this model. Variable opacity, changing thermodynamics or varying radiative flux can change that conclusion. The diffusion approximation also needs large optical depth; it does not establish stability of the entire optically thin irradiated atmosphere.

Assume a thin disk has height-independent opacity ${\kappa }_{\mathrm{op}}$ and radiation-to-gas pressure ratio $\beta$, with vertical gravity $-{\Omega }_z^{2}z$. Hydrostatic equilibrium and radiative diffusion implyBalancing its derivative against viscous heating $\rho \nu q^2{\Omega }^2$ fixes the dynamic viscosityIt is independent of height under these assumptions. For a spherically symmetric potential, ${\Omega }_z=\Omega$. Integrating $\rho \nu$ through the full surface-to-surface thickness $2H$ gives $\bar{\nu }\Sigma =2H\rho \nu$, which determines the thickness from the radial accretion rate solution.