A shallow gravity current is supercritical when its Froude number exceeds one: both gravity-wave characteristic curves move downstream relative to the bed.

If a one-dimensional cusp form space is stable under the phase-normalized Fricke involution, its scalar action is determined by evaluation at the fixed point. The phase-normalized prefactor is one there; if the form is nonzero at that point, the eigenvalue is $+1$. A product with strictly positive convergent factors on the imaginary axis supplies such a value and also makes the central completed L-function of a cusp form positive when its central Mellin integral has real positive kernel.

For $1\le p<\infty$, these operators are isometries on the phase-space Lp space, with $U_t{U}_s=U_{t+s}$. They form a strongly continuous semigroup for $t\ge 0$ and extend to a group for all real times. Strong continuity follows by smooth compactly supported approximation and measure preservation. They preserve the essential supremum as well, but strong continuity is not claimed on the whole $L^{\infty }$ space.

At a fixed camera-axis direction, the grating equation gives $m{\lambda }_m=K=d(\sin \alpha +\sin {\beta }_0)$, so adjacent central wavelengths differ by $K/[m(m+1)]$. This differs from the exact wavelength cell where an order is nearest the optical camera axis. For ${\beta }_0=0$ and $x=f\tan \beta$, equal distances of orders $m$ and $m+1$ mean opposite diffraction angles; adding their diffraction grating equations gives $\lambda =K/(m+1/2)$. The full order-$m$ cell is bounded by $K/(m+1/2)$ and $K/(m-1/2)$, hence has width $K/(m^2-1/4)$ for $m\ge 2$ and accessible neighbouring orders. Both widths approach $K/m^2$ at high order.

Given a free resolution $\cdots \to F_1\to F_0\to M\to 0$, its first syzygy module is $\ker (F_0\to M)$, the module of relations among the chosen generators of $M$. Higher syzygy modules are successive kernels. They depend on the choice of resolution; a minimal graded free resolution gives canonical ranks and degrees of generators over a standard graded ring structure on a polynomial ring.

Over $S=k[X_1,\dots ,X_n]$ with its standard grading and $\mathfrak{m}=(X_1,\dots ,X_n)$, a graded free resolution is minimal when $d_i(F_i)\subseteq \mathfrak{m}{F}_{i-1}$ for every $i\ge 1$. It is constructed by choosing minimal homogeneous generators for each successive syzygy module, using the graded Nakayama lemma. After tensoring with $k=S/\mathfrak{m}$, all its differentials vanish, so $F_i/\mathfrak{m}{F}_i\cong {\mathrm{Tor}}_i^S(M,k)$; these dimensions and degrees are intrinsic to $M$.

On a steady phase-mixed orbit, line density on a Kepler orbit is proportional to $1/v$, so cross-sectional area is uniform in time. For an optically thin wire of blackbodies in radiative equilibrium,The proof uses specific angular momentum: $dt/r^2=df/h$, and $Ph=2\pi a^2\sqrt{1-e^2}$. If one instead imposes a line density proportional to $v$, area is weighted by $v^{2}dt$, yielding $f={\sigma }_{\mathrm{tot}}(1+e^2)/[4\pi a^2(1-e^2{)}^{3/2}]$. The two distributions agree only for a circular Kepler orbit.

For real wave speed $c$ and $t\ge 0$, define the complex-frequency cosine through the entire series $C_t(z)={\sum }_{j\ge 0}(-1{)}^j(ct{)}^{2j}(z\cdot z{)}^j/(2j)!$. The expression is independent of the square-root branch even though the square root itself need not be entire. Writing $z=a+ib$ gives $|\mathrm{Im}\sqrt{z\cdot z}|\le |b|$, and hence $|C_t(z)|\le e^{|c|t|\mathrm{Im}z|}$. The Paley–Wiener–Schwartz theorem therefore makes its inverse Fourier transform a distribution supported in the radius-$|c|t$ ball. Multiplication by $C_t$ evolves initial displacement with zero initial velocity in the wave equation, giving finite propagation speed for compactly supported initial distributions.

With inverse Fourier transform normalization $(2\pi {)}^{-1}$, $\int e^{is\theta }{\theta }^{j}d\theta =2\pi i^{-j}{\delta }^{(j)}(s)$ as an oscillatory integral. The factor $i^{-j}$ and the sign convention $⟨{\delta }^{\prime },g⟩=-g^{\prime }(0)$ are essential. For instance, amplitude $-i{x}_2\theta /(2\pi )$ with phase $x_1\theta$ gives $-x_2{\delta }^{\prime }(x_1)$.

For scalar functions on a finite group, normalized convolution on a finite group is $(f\ast g)(x)=|G{|}^{-1}{\sum }_{y}f(y)g(y^{-1}x)$. It is associative and need not commute. Its identity is $|G|1_{\{e\}}$, rather than the unscaled indicator function of the identity element. The Fourier analysis on a finite group convention $\hat{f}(\rho )=\mathbb{E}f(x)\rho (x)$ turns it into matrix multiplication in the same order.

For a scalar function on a finite group, one normalized transform convention assigns the matrix ${\mathbb{E}}_{x}f(x)\rho (x)$ to each chosen unitary irreducible representation. This map is a weighted Hilbert space isomorphism by the Parseval identity on a finite group. Another common convention uses $\rho (x{)}^{\ast }$; the corresponding convolution theorem on a finite group then reverses the matrix product order for $(f\ast g)(x)={\mathbb{E}}_{y}f(y)g(y^{-1}x)$.

For a scalar function on a group, left translation by $a$ is $(L_{a}f)(x)=f(a^{-1}x)$. With the positive-representation convention for Fourier analysis on a finite group, $\widehat{L_{a}f}(\rho )=\rho (a)\hat{f}(\rho )$.

For a scalar function on a group, use $(R_{a}f)(x)=f(xa)$ as the right-translation convention. For Fourier analysis on a finite group this gives $\widehat{R_{a}f}(\rho )=\hat{f}(\rho )\rho (a{)}^{\ast }$. Specifying whether $a$ or $a^{-1}$ appears in the definition avoids sign and multiplication-order ambiguity.

A non-scattering isothermal atmospheric layer in local thermodynamic equilibrium, of temperature $T_a$ and slant optical depth $t_{\lambda }$, lies above a blackbody background at $T_b$. The specific intensity isThus an increase in opacity shifts the specific intensity toward the layer's Planck function. If a line is more opaque than its continuum, it appears in absorption for $T_a<T_b$, in emission for $T_a>T_b$, and has no contrast for $T_a=T_b$. This is a local explanation, not a claim that all features diagnose one uniform layer.

For a thermalized radiative transfer source function $S_{\lambda }=B_{\lambda }(T)$ constant along a ray, the specific intensity after optical-depth interval $\Delta \tau$ is $I_{\lambda }=B_{\lambda }+(I_{\mathrm{in}}-B_{\lambda })e^{-\Delta \tau /\mu }$ for $\mu >0$. As $\Delta \tau \to \infty$, it tends to the Planck function, independently of a bounded boundary input. A temperature gradient is unnecessary for blackbody emission. In a scattering medium, local thermodynamic equilibrium alone does not guarantee $S_{\lambda }=B_{\lambda }$; thermalization must be justified.

For the condition-first forcing name convention, pair every condition with each of two names $\tau ,{\tau }^{\prime }$. Under any nonempty generic filter, the evaluation of a forcing name is then $\{{\tau }_G,{\tau }_G^{\prime }\}$, the unordered pair of the two values. Equal values give a singleton. With the name-first convention, reverse the two components of each syntactic pair.

A name for a subset of a ground-model set, given coordinatewise by antichains in a forcing order. For countable-chain-condition forcing, each coordinate uses a countable antichain, which bounds the number of names for reals.

If the ground model has axiom of choice, well-order the set of subnames appearing in a forcing name for an arbitrary extension set. Evaluate those activated by the generic filter. Each element of the extension set has a least preimage index; ordering by these indices well-orders the set. Only ground choice and the ZF part of the forcing theorem are needed.

The ordinal assigned recursively by $\mathrm{nrk}(\tau )=\sup \{\mathrm{nrk}(\sigma )+1:(\sigma ,p)\in \tau \}$. It measures dependency on subnames and justifies generic evaluation by recursion. The ordinary rank of a set also accounts for the coding of the ordered pairs and the forcing conditions; it need not equal this dependency rank of a set.

The order $\mathrm{Fn}(X,Y,\omega )$ has the countable chain condition for forcing whenever $Y$ is countable. For an uncountable family of conditions, apply the Delta-system lemma to the finite domains. On their common finite root there are only countably many assignments, so thin to an uncountable family agreeing on that root. Any two conditions now have a compatible union. For binary Cohen forcing, there are only finitely many root assignments.