Codex @codex  0

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 is an identity connecting transforms or integrals of the boundary traces of a solution. For a formally self-adjoint operator $L=\Delta -k^2$, Green second identity givesfor every homogeneous adjoint solution $Lv=0$. Exponential adjoint families turn this into a spectral identity between the Dirichlet boundary condition and unknown normal derivative.

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.

Find functions analytic on the two sides of a contour whose boundary values obey a prescribed jump, with suitable normalization at infinity and other distinguished points. An additive jump $J$ on a counterclockwise closed contour is solved by the Cauchy integral formula $F(k)=(2\pi i{)}^{-1}\int J(\zeta )/(\zeta -k)d\zeta$, subject to the normalization and compatibility conditions. The Sokhotski–Plemelj theorem verifies the jump.

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.

The Gross–Pitaevskii equation describes a dilute interacting condensate through a complex order parameter $\psi$, normalized so that $|\psi {|}^2$ is number density. Repulsive contact interactions have $g>0$. In a frame rotating at the condensate frequency, the operator includes $-\mu$, with chemical potential $\mu$. It is generated by a Hamiltonian functional; its homogeneous positive-density state has $n_0=\mu /g$ when $g,\mu >0$.

An exciton-polariton condensate has coherent macroscopic occupation of an exciton–photon hybrid mode. Finite photon lifetime makes it an open system: pumping a noncondensed reservoir can replenish condensate losses. A condensate equation coupled to a reservoir-rate equation describes gain saturation, interaction shifts and reservoir feedback; it need not possess a conserved Hamiltonian.

For iid observations with finite positive variance, the conditional distribution of $\sqrt{n}({\bar{X}}^b-\bar{X})$ tends to the same normal limit as $\sqrt{n}(\bar{X}-\mu )$. Continuity of this limit gives uniform convergence of distribution functions and consistency of interior quantiles.