In a locally compact nontrivially valued field, the valuation ring is compact. A Cauchy sequence has a tail inside a translate of this compact set, hence a convergent subsequence. The Cauchy property forces the full sequence to converge.

An algebra for a monad for the list monad is precisely a monoid. For an action $a$, the identity is $a([])$ and multiplication is $a([x,y])$. The algebra laws force the unit and associativity laws and determine $a$ as ordered multiplication. Conversely ordered multiplication defines a list action. Algebra morphisms are exactly monoid homomorphisms, giving an isomorphism of categories ${\mathbf{Set}}^{\mathrm{List}}\cong \mathbf{Mon}$.

Suppose $f$ is a differentiable function on an open convex set $D\subseteq {\mathbb{R}}^n$ and has an $L$-Lipschitz gradient there, in the Euclidean norm. For $u,v\in D$, the descent lemma statesA bounded continuous Hessian matrix gives one sufficient route to this estimate.^[ref]

For a short proof, put $d=v-u$. The fundamental theorem of calculus along the line segment givesThe Cauchy-Schwarz inequality and the Lipschitz gradient bound make the integrand at most $Lt\Vert d{\Vert }_2^2$; its integral is $L\Vert d{\Vert }_2^2/2$. This proof needs no assumption that $f$ is a convex function.

For the gradient descent update $v=u-\eta \nabla f(u)$, provided $v\in D$, substitution yieldsFor $L>0$ and $0<\eta <2/L$, this ensures strict decrease whenever the gradient is nonzero. At $\eta =2/L$ it guarantees only nonincrease; the quadratic example has a nonshrinking alternating component at this endpoint. At $\eta =1/L$ the guaranteed decrease is $\Vert \nabla f(u){\Vert }_2^2/(2L)$. A bound valid only on $D$ cannot justify a step leaving $D$.

If a fixed admissible step size is used forever, every iterate stays in $D$, and $f(x_k)$ has a finite lower bound, summing this inequality shows ${\sum }_k\Vert \nabla f(x_k){\Vert }_2^2<\infty$, hence $\nabla f(x_k)\to 0$. That conclusion alone gives neither convergence of the iterates nor a global minimum. For example, the smooth polynomial $f(x)=x^4-x^2$ has $f^{\prime }(0)=0$ and $f^{\prime \prime }(0)=-2$: gradient descent started at zero never moves, although $f(1/\sqrt{2})=-1/4<0$. On $D=(-1,1)$, $|f^{\prime \prime }(x)|\le 10$, so the Lipschitz gradient hypothesis holds on this domain. Convex functions and strongly convex functions provide additional structure; the exact quadratic convergence result above uses a positive-definite matrix.

For a transport equation on a domain, prescribe boundary data only where the velocity points into the domain. On $x>0$ with speed $a>0$, a bounded weak solution with initial data $u_0$ and inflow data $f$ satisfiesThe integrals are over the quadrant and its two boundary rays. Backtracking characteristic curves gives $u_0(x-at)$ when $x\ge at$ and $f(t-x/a)$ otherwise. Corner values need not match for a bounded weak solution.

A linear system is base-point-free if its sections have no common zero. Their ratios then define an everywhere-defined morphism to projective space whose hyperplane pullbacks are members of the original system.

For a resting midlatitude layer, the slow Rossby wave equation is $({\nabla }_h^2-a^2){\eta }_t=-\beta {\eta }_x$, where $a=f_0/\sqrt{gH}$. With the plane wave convention $e^{i(kx+ly-\omega t)}$,The zonal phase velocity is westward for $\beta >0$, but the zonal group velocity changes sign at $k^2=l^2+a^2$.

Suppose a piecewise finite difference uses two translated evaluations divided by $\alpha$. If the pulled-back evaluation intervals cover almost every input point at most $m$ times, then $|a-b{|}^2\le 2(|a{|}^2+|b{|}^2)$ gives $\Vert R_{\alpha }f{\Vert }_2^2\le 2m\Vert f{\Vert }_2^2/{\alpha }^2$. This converts an interval-overlap count into an operator norm estimate without requiring pointwise values of an L2 space equivalence class outside the almost-everywhere evaluation rule.

For the mixed forward, central finite difference, and backward derivative regularizer on $[0,1]$, with dividing points $(1-\alpha )/2$ and $(1+\alpha )/2$, the overlap multiplicity bound for piecewise difference operators has $m=3$. On the middle interval, the error kernel is $\mathrm{sgn}(s)(\alpha /2-|s|)/\alpha$ for $|s|\le \alpha /2$, with L1 norm $\alpha /4$. Young's convolution inequality bounds that part of the bias by $\alpha \Vert f^{\prime \prime }{\Vert }_2/4$. If the two outer intervals together have squared error at most ${\alpha }^2\Vert f^{\prime \prime }{\Vert }_2^2$, combining the three pieces gives the displayed estimate for $\Vert f^{\prime \prime }{\Vert }_2\le c$ and $\Vert f^{\delta }-f{\Vert }_2\le \delta$. Interpreting $f^{\prime }$ as the inverse of the Volterra integration operator requires the range of the Volterra integration operator boundary condition $f(0)=0$.

Suppose two complex amplitudes satisfy ${\partial }_t|A{|}^2\le 2a|A||B|-2d|A{|}^2$ and ${\partial }_t|B{|}^2\le 2c|A||B|-2d|B{|}^2$, with positive $a,c$ and $d\ge 0$. Then $N=c|A{|}^2+a|B{|}^2\ge 2\sqrt{ac}|A||B|$ gives $\dot{N}\le 2(\sqrt{ac}-d)N$. A positive weighted norm avoids treating two coupling rates of different size as a single arithmetic sum. This is useful for nonautonomous linear ordinary differential equations and the bounded-modulation alpha-Omega growth estimate.

If a linear functional on a normed vector space has $f(v_N)=1$ for a sequence tending to zero in norm, it is discontinuous and unbounded. An explicit example is the algebraic span in ${\ell }^2$ of the coordinate vectors and $w=(2^{-n}{)}_{n\ge 1}$. Define $f(w)=1$ and $f(e_n)=0$. The tails $v_N=w-{\sum }_{n=1}^N{2}^{-n}{e}_n$ have norm $2^{-N}/\sqrt{3}$ but image one. Thus the functional vanishes on the dense finite-support subspace while being nonzero elsewhere.

For a linear map $L:V\to W$ and one solution $L{u}_0=f$, all solutions are $u_0+\ker L$. This follows because $L(u-u_0)=0$, and conversely adding any kernel element preserves the equation. If $U\subseteq V$ is a vector subspace representing a desired regularity class and $u_0\in U$, then every solution to this one inhomogeneous equation lies in $U$ exactly when $\ker L\subseteq U$. For distributional differential equations, take $U$ to be the distributions represented by smooth functions.

For a time Laplace transform parameter with $\mathrm{Re}p>0$, the spatial characteristic roots satisfy $r^3+r+p=0$. Exactly one root $r_{-}$ has negative real part and two have positive real part. Indeed an imaginary root would force $p=-i(k-k^3)$ to be imaginary. The count is therefore constant on the connected right half-plane; for real $p>0$, the cubic has one negative real root and a conjugate pair with positive real parts. Repeated roots would satisfy $3r^2+1=0$, which again puts $p$ on the imaginary axis. Thus $r_{-}(p)$ is a nonzero holomorphic function in the right half-plane. Only $e^{r_{-}x}$ decays at positive spatial infinity.

For a continuous periodic coefficient matrix $A(t+L)=A(t)$, a fundamental matrix $X$ for $X^{\prime }=A(t)X$, normalized by $X(0)=I$, obeys $X(t+L)=X(t)X(L)$. The invertible matrix $X(L)$ has a complex matrix logarithm; set $B=L^{-1}\log X(L)$ and $P(t)=X(t)e^{-tB}$. Since $X(L)=e^{LB}$ commutes with $B$, direct substitution gives $P(t+L)=P(t)$ and proves the factorization. A real logarithm is not required for this complex representation.

The eigenvalues of $X(L)$ are Floquet multipliers. All solutions are bounded for forward time when every multiplier has modulus at most one and those on the unit circle have no nontrivial Jordan blocks. In a real undamped second-order scalar equation with no first-derivative term, the monodromy determinant is one. Distinct conjugate unit-modulus multipliers give bounded solutions; a nontrivial Jordan block at multiplier $1$ or $-1$ gives an unbounded second solution even when one periodic or antiperiodic solution exists.

For a system of linear differential equations $u^{\prime }=A(t)u$, a fundamental matrix has columns forming a basis of its solution space. It solves $X^{\prime }=A(t)X$ and is invertible at every time in its interval. Every solution is $u(t)=X(t)c$ for a constant vector $c$: differentiating $X^{-1}u$ gives zero. Invertibility at one time implies invertibility throughout the interval by uniqueness of the initial value problem. This notion is distinct from a Markov-chain fundamental matrix or the projective-geometric matrix used in stereo vision.

A scalar multiplying a specified term in a linear combination, polynomial or power series. When the term family has linear independence, the coefficients are unique; uniqueness of finite Laurent polynomial coefficients follows after multiplying by a sufficiently large power to obtain an ordinary polynomial.

For a radial stellar oscillation, put ${\xi }_r=r\eta$. The self-gravitating adiabatic equation is $({\Gamma }_{1}P{r}^4{\eta }^{\prime }{)}^{\prime }+r^3[(3{\Gamma }_1-4)P{]}^{\prime }\eta +\rho r^4{\omega }^2\eta =0$. It is a Sturm-Liouville problem whose Rayleigh quotient tests radial stability. The familiar constant-exponent threshold is ${\Gamma }_1=4/3$; a variable exponent requires the full integral test.

The Cowling approximation neglects the perturbation of the gravitational potential while retaining the equilibrium gravitational force in a stellar oscillation. It simplifies short-wavelength mode propagation, but can be inaccurate for low-order modes whose perturbed self-gravity matters.

In the Cowling approximation and local short-wavelength limit, the radial wave number satisfies $k_r^2\simeq ({\omega }^2-S_{\ell }^2)({\omega }^2-N^2)/(c_s^2{\omega }^2)$. The Lamb frequency $S_{\ell }$ and stellar buoyancy frequency $N$ delimit acoustic and gravity-wave cavities. This leading interior relation does not replace the near-surface acoustic cutoff or the full gravitational boundary problem.

The connected component of the identity in a Lie group is an open normal subgroup. Connected coordinate neighbourhoods prove openness, and conjugation preserves the component of the identity. Every open identity neighbourhood generates it: the generated subgroup is open, its other cosets are open, and connectedness forces it to be the whole component.

A maximal torus is a connected compact abelian Lie subgroup maximal among such subgroups. Restricting a finite-dimensional unitary representation to it splits into one-dimensional weight characters. For special unitary group $\mathrm{SU}(2)$ it is the diagonal circle $\mathrm{diag}(z,z^{-1})$.