The generators ${\sigma }_i$ commute when $|i-j|>1$ and satisfy ${\sigma }_i{\sigma }_{i+1}{\sigma }_i={\sigma }_{i+1}{\sigma }_i{\sigma }_{i+1}$. Unlike a symmetric-group presentation, there is no ${\sigma }_i^2=1$ relation.

For $N^2=K{z}^{\beta }$ and positive pure-power fluxes, the similarity solution exponents are $q=3+\beta /2$, $m=4+\beta$ and $f=4+3\beta /2$. Increasing volume and momentum and decreasing positive buoyancy flux require $-4<\beta <-8/3$. At fixed nonzero $K$ the endpoint coefficient limits are singular.

An arithmetic bounded formula uses only quantifiers bounded by arithmetic terms, such as $\exists u<t$ and $\forall u<t$, with the bound not containing the quantified variable. Existential bounded representation of a primitive recursive function places all unrestricted existential variables in a single outer block.

A discrete-time martingale with a common deterministic bound on all increments either converges finitely or has $\mathrm{liminf}{X}_n=-\infty$ and $\mathrm{limsup}{X}_n=+\infty$, almost surely. Stopping on first crossing below $-A$ gives a lower bound $-A-M$ on the overshoot. Adding $A+M+X_0^{-}$ produces a nonnegative martingale, so the martingale convergence theorem forces finite convergence on the event of never crossing. Apply the same argument to $-X$.

Suppose an unbounded domain contains the upper strip $(-1,1)\times (1,\infty )$ with its two vertical sides on the boundary. A bounded harmonic function with constant values $a$ on the right side and $b$ on the left side, and with valid bounded harmonic representation with almost sure Brownian exit, satisfies $u(x,y)\to a(1+x)/2+b(1-x)/2$ as $y\to \infty$. The horizontal Brownian exit time is finite; on that finite random interval the vertical Brownian path has a finite minimum. Consequently reaching the bottom before a side has probability tending to zero. The remaining two exit probabilities are the one-dimensional interval probabilities.

Subtract a known function with the required boundary trace so that the remaining unknown has homogeneous boundary conditions. For an interval with Dirichlet boundary conditions $g(t),h(t)$, $\ell =(1-x/L)g+(x/L)h$ is a simple lifting. In $w_t=w_{xx}-cw$, $z=w-\ell$ has forcing $-{\ell }_t-c\ell$ and zero endpoint values. This improves Fourier sine series convergence.

A complex parameter labels auxiliary solutions of a linear differential equation, such as exponential adjoint solutions used in a global relation for a linear boundary value problem. It need not be a discrete eigenvalue or a parameter of a nonlinear Lax pair. Analytic dependence on it allows transformed boundary identities to be sampled or inverted.

A global relation for a linear boundary value problem is an identity connecting transformed initial or boundary traces of a solution. Its form depends on the differential operator, the auxiliary adjoint solutions and the transform convention.

For $L=\Delta -k^2$, suppose $Lu=f$ and $Lv=0$ on a smooth bounded domain $\Omega$. Green's second identity givesThus a homogeneous equation $f=0$ gives a boundary identity with right side zero; an inhomogeneous equation contributes the known volume term. Exponential choices of $v$ turn this into a spectral family connecting the Dirichlet boundary data and the outward normal derivative.

A global relation is a necessary identity. Recovering unknown traces requires enough independent relations and an admissible analytic inversion or a rank-checked numerical scheme; the identity alone is not an existence theorem for arbitrary boundary data.

The Fokas method uses a global relation for a linear boundary value problem between transformed boundary traces, complex spectral symmetries, and contour integration to eliminate unknown traces or construct a numerical boundary scheme. The distinction between the domains of analyticity of the transforms and the decay sectors of spectral exponentials controls valid contour deformations.

The Wiener-Hopf method solves a boundary value problem with complementary half-line traces by Wiener-Hopf factorization and additive splitting into upper- and lower-half-plane analytic functions. Analytic continuation gives a common entire function, whose growth and edge conditions determine its admissible value.

A Riemann-Hilbert problem seeks holomorphic functions off an oriented contour, with prescribed relations between their limiting boundary values and with specified behavior at infinity, endpoints or other distinguished points. The plus side lies to the left when following the contour orientation; the minus side lies to the right.

A standard matrix form prescribes a jump matrix $J$ and asks forThe matrix multiplication order is part of the problem. Some versions also prescribe poles and their residues. The contour, jump, normalization and local singularity conditions together determine the analytic problem.^[ref]

For an additive Riemann-Hilbert problem, the condition is $F_{+}-F_{-}=g$. On a positively oriented smooth closed contour, the Cauchy integralhas that jump under the usual regularity assumptions, by the Sokhotski–Plemelj theorem. For the unit circle and $g=1$, it gives $F=1$ inside and $F=0$ outside. This checks the sign convention and the vanishing exterior normalization. A multiplicative matrix jump generally needs additional analysis beyond this scalar Cauchy formula.

Given a uniquely solvable Dirichlet problem, this map sends prescribed Dirichlet boundary data to the solution's outward normal derivative. It depends on the differential operator and domain. Spectral global relations offer one way to compute it numerically from boundary traces, while a finite collocation scheme still requires a rank and conditioning check.

An element in the image of the preceding differential of a cochain complex. Every coboundary is a cocycle, since consecutive differentials compose to zero.

A fixed terrain obstacle forces a zero laboratory-frequency internal gravity wave through the kinematic boundary condition $w=U{h}_x$. Its intrinsic frequency is $-kU$. Propagation, radiation and the transient arrival of its permanent component are distinct questions.

A dynamic boundary condition includes a time derivative of the boundary trace. For a half-line heat equation, $u_t(0,t)+\alpha u_x(0,t)+\beta u(0,t)=f(t)$ gives a separate boundary evolution coupled to the interior flux. Its Laplace transform contains the initial trace $u_0(0)$. The sign of $u_x$ differs from that of the outward normal derivative at a left endpoint.

A Coulomb bound state is a physical normalizable eigenfunction for an attractive potential $V(r)=-\gamma /r$, $\gamma >0$. For the usual regular boundary condition at the origin its energies are the displayed values, $N=1,2,\dots$. The spherically symmetric states have orbital angular momentum zero; series-termination quantization of the Coulomb radial equation constructs them as a polynomial times a decaying exponential. Square integrability on the punctured radial interval alone does not replace the physical condition at the origin.

The string level operator for a free-ended open string is $N={\sum }_{k>0}{\alpha }_{-k}\cdot {\alpha }_k$. The quantum condition is ${\alpha }^{\prime }{M}^2=N-a$, where $a$ is the normal-ordering constant of a string. Lorentz-consistent bosonic string theory has $a=1$.

In the critical bosonic string theory, the states ${\alpha }_{-1}^i{\tilde{\alpha }}_{-1}^j|0;p⟩$ have $M^2=0$. Their coefficient matrix decomposes into a symmetric trace-free tensor, an antisymmetric tensor, and a scalar trace, representing the graviton, Kalb–Ramond field, and dilaton. Their transverse particle polarization counts add to $(D-2{)}^2$. The normal-ordering constant of a string is one.

Each level-two chiral sector of the critical closed string is the symmetric traceless square $S_0^{2}V$ of the massive little group vector space. The tensor product of its two sectors contains the exterior square ${\Lambda }^{2}V$: the equivariant map $(S,T)\mapsto ST-TS$ is onto the antisymmetric matrices. Compact-group complete reducibility realizes this quotient as a subrepresentation. It describes a massive two-form field with $M^2=8\pi T=4/{\alpha }^{\prime }$.

An odd involution $A$ reverses fermion parity and is its own inverse, so it identifies the bosonic and fermionic subspaces. They have equal dimension in a finite-dimensional representation. For a supercharge $q$ with $q^2=0$ and $\{q,q^{†}\}=cI$, $c>0$, use $A=(q+q^{†})/\sqrt{c}$. This gives a direct proof of boson-fermion degeneracy in a supermultiplet at positive energy. A zero-energy supersymmetric vacuum need not have an accompanying fermionic vacuum.