A discounted-value transversality condition rules out residual value at infinity in an infinite-horizon Hamilton-Jacobi-Bellman equation verification. Under appropriate integrability, admissibility, and localization assumptions, $\mathbb{E}[e^{-\rho T}V(w_T,s_T)]\to 0$ identifies the economic value among formal differential-equation solutions.

Reflecting an inside-unit-circle zero across the unit circle produces an invertible moving-average model with the same spectral density of a stationary process, after rescaling the driving white noise variance. For real $|\theta |>1$, $|1-\theta e^{-i\lambda }{|}^2={\theta }^2|1-{\theta }^{-1}{e}^{-i\lambda }{|}^2$. The transformed driving sequence is a linear innovation process; without Gaussianity it need not be strong white noise.

For positive mixture weights $w_j$ summing to one, set $C_j={\sum }_{i\le j}{w}_i$ and choose $J=j$ when $C_{j-1}\le U<C_j$, where $U$ has a uniform distribution. Then $V=(U-C_{J-1})/w_J$ has a uniform distribution independently of $J$: for $0\le v\le 1$, $\mathrm{Pr}(J=j,V\le v)=w_{j}v$. This permits exact finite mixture model sampling with a recycled continuous random variable.

Every f-morphism of sheaves from $\mathcal{G}$ to $\mathcal{F}$ factors uniquely through the canonical f-morphism from $\mathcal{G}$ to its inverse image sheaf. A local inverse-image section is represented by sections of $\mathcal{G}$ on image neighbourhoods; their prescribed images glue in $\mathcal{F}$.

For sheaves of abelian groups and a continuous map $f:X\to Y$, there is a natural bijection ${\mathrm{Hom}}_X(f^{-1}\mathcal{G},\mathcal{F})\cong {\mathrm{Hom}}_Y(\mathcal{G},f_{\ast }\mathcal{F})$. It comes from the universal property of an inverse image sheaf. The inverse image of abelian sheaves is different from the tensor-adjusted pullback of a sheaf of modules on a ringed space.

A Borel probability measure is invariant for a Markov kernel semigroup if every transition preserves it. For a Feller semigroup on a compact metric space, it suffices to test the displayed identity on continuous functions. Kernel Jensen inequality gives contraction on $L^p(\mu )$, and sup-norm strong continuity followed by density gives strong continuity there for $1\le p<\infty$.

For a symmetric bilinear form on a Lie algebra, invariance is the displayed identity. It equivalently says that each Adjoint representation endomorphism is skew-adjoint with respect to $B$. The Killing form has this property by cyclic invariance of the trace.

If otherwise comparable isolated planets of one mass follow $L_{\mathrm{int}}=C{t}^{-\alpha }$, their intrinsic luminosity ratio is $L_{\mathrm{int}}(t_1)/L_{\mathrm{int}}(t_2)=(t_2/t_1{)}^{\alpha }$. The normalization depends on composition and initial entropy. Strong stellar irradiation, deep heating, or accretion can invalidate extrapolating the same cooling law.

With negligible nuclear or external heating, the stellar structure equations give $L_{\mathrm{int}}=-{\int }_0^{M}T\partial s/\partial tdm$. A nearly isentropic convective interior therefore has $\dot{s}=-L_{\mathrm{int}}/\int Tdm<0$ whenever it radiates. Decreasing specific entropy does not require temperature at every depth to decrease immediately: contraction of an ideal gas can raise its central temperature while total energy is lost.

For a limit-preserving functor $U$ and an arrow $d:D\to UC$, a supported subobject is $m:M\hookrightarrow C$ through which $d$ factors after applying $U$. In a complete well-powered domain, their intersection remains supported. At the resulting pair $(C_0,d_0)$, every supported subobject of $C_0$ is invertible. This minimality makes $q\mapsto U(q)d_0$ injective on morphisms to each cogenerator.

In uniform positive flow $U$, upward stationary internal gravity waves have laboratory group velocity $U({\cos }^2\theta ,\sin \theta \cos \theta )$. Packets emitted by a localized source at startup lie on $(x-Ut/2{)}^2+z^2=(Ut/2{)}^2$, with later emissions inside. This envelope belongs to the permanent stationary component, not every possible startup transient.

A level where the squared vertical wavenumber of an internal gravity wave touches zero quadratically without changing sign. The ordinary WKB approximation fails there; unlike a simple sign-changing turning point, this does not itself provide an evanescent region on one side. Finite-wavelength analysis determines how solutions connect across or meet a boundary at the level.

A periodic spatial internal-wave ray toward which neighbouring ray paths converge after reflection in a confined stratified basin. A fixed point of an internal-wave ray return map is attracting when its derivative has magnitude below one. Viscous attenuation of an internal-wave beam and internal-wave breaking regularize the ideal concentration of energy. A spatial ray construction does not remove turning-level limitations of the WKB approximation.

For a uniform vertical shear flow $U=sz$ with $s>0$, constant buoyancy frequency $N>0$ and horizontal wavenumber $k>0$, choose the initially rising branch $m_0<0$. The ground-frame angular frequency is the conserved ray HamiltonianThe internal-wave ray tracing equations give $\dot{k}=0$ and $\dot{m}=-ks$, hence $m=m_0-kst$ and $z=(\omega -\hat{\omega })/(ks)$. As $t\to \infty$, the vertical wavenumber tends to negative infinity, the intrinsic frequency tends to zero and the height approaches the critical level $z_c=\omega /(ks)$. For $\theta =\arctan (|m|/k)$, the laboratory ray slope isThe second term is mean advection divided by vertical group velocity. The zero-shear case has no finite $z_c$ and must instead be treated as propagation in a uniform current.

Two auctions with the same interim allocation probabilities and the same lowest-type utilities have the same interim expected payments under the usual risk-neutral single-parameter incentive conditions. Equal realized payments are not required. This conclusion follows directly from the interim payment identity.

If the initial stellar velocities are uncorrelated with the impulse approximation kicks, mean specific heating is $|\Delta \mathbf{v}{|}^2/2$. Spherical position averaging gives total heating $4G^2{m}_p^2{m}_g⟨r^2⟩/(3v^2{p}^4)$, where the mass-weighted mean square radius must be finite.

The independent squared-normal series for the integrated square of Brownian motion gives the product ${\prod }_n(1+2\lambda /((n-1/2{)}^2{\pi }^2){)}^{-1/2}$. The half-integer cosine product reduces this to $(\cosh \sqrt{2\lambda }{)}^{-1/2}$. Expanding at zero gives mean $1/2$ and variance $1/3$.

The displayed continuous centered Gaussian process, with value zero at time zero, has the Brownian covariance kernel. Hence it is a Brownian motion in its own natural filtration. More generally, replacing three by $c$ gives covariance $s+c(c-3)(s/2-s^2/(6t))$ for $0<s\le t$, so three is the only nonzero valid coefficient. Its conditional future increment in the original Brownian filtration is $3(t-s)t^{-1}(s^{-1}{\int }_0^s{W}_{u}du-W_s)$, and is generally nonzero.

A spaxel is one spatial sampling element in a spectral data cube. For a square field of angular side $\beta$ sampled at angular side $\theta$, the number of spaxels is $(\beta /\theta {)}^2$, before edge rounding.

With fixed spectral resolving power, wavelength interval, diffraction grating geometry, photodetector sampling and collimator focal ratio, a beam diameter scales as the spaxel width $\theta$, but the optical camera focal length stays fixed. A simple on-axis beam-envelope model therefore gives collimator and disperser volumes proportional to ${\theta }^3$ and optical camera volume proportional to ${\theta }^2$. With a fixed number of spaxels per photodetector, replication multiplies these volumes by $M\propto {\theta }^{-2}$. A fixed photodetector field adds transverse clearances and changes the small-$\theta$ limit; these exponents are not universal mechanical-volume laws.