For a plane inertia-gravity wave on a resting layer, $\eta ={\eta }_0\cos (kx-\omega t)$, the horizontal velocities are $u=U\cos \theta$ and $v=V\sin \theta$, where $U=\omega {\eta }_0/(k{h}_0)$ and $V=f{\eta }_0/(k{h}_0)$. First-order integration at a fixed equilibrium coordinate gives $\xi =-U\sin \theta /\omega$, $\upsilon =V\cos \theta /\omega$. The particle trajectory is an ellipse with axis ratio $|f|/\omega$. For positive $f$, the orbit is clockwise in the $(x,y)$ plane.

Interim individual rationality requires a nonnegative expected participation utility for each private type, averaging over the other types with the player's conditional beliefs. It differs from requiring nonnegative utility at each realized profile, which is ex post individual rationality.

Ex post individual rationality requires nonnegative participation utility at every realized profile of types. A truthful threshold allocation with its critical-value payment satisfies this condition for nonnegative valuations.

For a finite simple graph, $\alpha (G)\ge {\sum }_{v\in V(G)}1/(1+\mathrm{deg}v)\ge |V(G){|}^2/(|V(G)|+2|E(G)|)$. Randomly order its vertices and retain each vertex preceding all its graph neighbours. This gives an independent set with the first expression as its expected value. The second inequality is the Cauchy-Schwarz inequality.

For a uniform-density sphere with incompressible flow of radius $R$ with one surface spherical harmonic displacement ${\xi }_r(R)=lA{R}^{l-1}{Y}_l^m$, the bulk density perturbation vanishes but the surface contributes $\delta \rho =\rho {\xi }_r(R)\delta (r-R)$. Continuity of the Newtonian gravitational potential and the Poisson equation give $[{\partial }_r\delta \Phi {]}_{\mathrm{out}-\mathrm{in}}=4\pi G\rho {\xi }_r(R)$. The regular interior and decaying exterior solutions areThe coefficient follows because the derivative jump is $-(2l+1)C{R}^{l-1}{Y}_l^m$. This surface source is why neglecting the bulk density perturbation does not justify neglecting the perturbed gravity.

The Kelvin stellar modes are the potential incompressible stellar surface modes of a nonrotating self-gravitating uniform-density sphere with incompressible flow. For a regular displacement potential $U=A{r}^l{Y}_l^m$, the free-surface Lagrangian pressure perturbation condition and the surface gravity perturbation of a uniform-density sphere giveIn detail $\delta p/\rho ={\omega }^{2}U-\delta \Phi$ and $\delta p/\rho =(GM/R^2){\xi }_r$ at $r=R$, so ${\omega }_l^2=lGM/R^3-4\pi G\rho l/(2l+1)$. The $l=1$ branch is rigid translation with zero restoring force. This potential family does not exhaust vortical zero-frequency displacements: $\mathbf{\xi }=\mathbf{\Omega }\times \mathbf{r}$ is tangent to the sphere and has zero restoring force but nonzero curl.

For a spherical incompressible planetary interior, $M(r)=4\pi \rho r^3/3$ gives $dP/dr=-4\pi G{\rho }^{2}r/3$. With $P(R)=0$, $P(r)=2\pi G{\rho }^2(R^2-r^2)/3$. The surface gravity $g_s=4\pi G\rho R/3$ then yields $P_c=3g_s^2/(8\pi G)$. Add an imposed surface pressure to the entire profile if needed.

Truthful reporting is Bayesian incentive compatible when every type maximizes its expected utility over the other players' types by reporting truthfully. In an independent private values model, the displayed inequality uses the same interim allocation and payment functions for every possible true type.

Dominant-strategy incentive compatibility means truthful reporting maximizes a player's utility for every fixed profile of the other reports. It is the monetary-mechanism version of strategyproofness and implies Bayesian incentive compatibility under any independent prior.

For a perturber following $(p,0,vt)$, the impulse approximation integrates its tidal tensor to $2G{m}_p\mathrm{diag}(1,-1,0)/(v{p}^2)$. A fixed target position therefore receives $\Delta \mathbf{v}=2G{m}_p(x,-y,0)/(v{p}^2)$. The longitudinal kick vanishes after integrating the symmetric trajectory.

A real orthogonal matrix $T$ of size three with $\det T=-1$ has an eigenvector $n$ of eigenvalue $-1$. Its orthogonal complement is invariant, and the restriction there is an orientation-preserving plane rotation. Thus $T$ is a rotation about the axis $\mathbb{R}n$ composed with a reflection across the plane perpendicular to $n$. Writing the plane angle as $\varphi$, $\mathrm{tr}T=-1+2\cos \varphi$. A pure plane reflection is the case $\varphi =0$; if $\det (T-I)\ne 0$, it cannot be a pure plane reflection.

A real charge of height $z$ has a reflected image charge at $-z$. Its acceleration is $\ddot{z}=-\kappa /z^2$, with $\kappa =q^2/(16\pi {\epsilon }_{0}m)$. Released from rest at height $d$, its ideal-model arrival time isThe image follows the instantaneous reflected position. The induced-charge energy carries one-half the full real-image pair interaction factor, consistent with this force.

With initial exit rates $a$ to the advanced living state and $b$ directly to death, and death rate $c>0$ from the advanced state, the expected time to death from state 1 is $1/(a+b)+a/((a+b)c)$. The first term is initial holding time; the second weights the advanced-state holding time by the probability of reaching it.

An idempotent morphism $e:E\to E$ splits if there are $r:E\to H$ and $s:H\to E$ with $sr=e$ and $rs=1_H$. The object $H$ is a retract of $E$. In a functor category, the splitting maps must be natural transformations; objectwise splittings without compatible functorial choices are not enough.

Distinct idempotents are orthogonal when their products in both orders vanish. A finite family summing to one gives a decomposition $M={⨁}_i{e}_{i}M$ of every left module as a vector space; the summands need not be submodules unless the idempotents are central. Vertex idempotents of a path algebra supply the spaces of its quiver representation.

For an incompressible flow with constant mass density, the Elsässer variables are ${\mathbf{z}}^{\pm }=\mathbf{u}\pm {\mathbf{v}}_a$, where ${\mathbf{v}}_a$ is the Alfvén velocity. Adding and subtracting the Euler momentum equation and ideal magnetohydrodynamic induction equation yields ${\partial }_t{\mathbf{z}}^{\pm }+({\mathbf{z}}^{\mp }\cdot \nabla ){\mathbf{z}}^{\pm }=-\nabla \psi$, with $\psi =p/\rho +\Phi +|{\mathbf{v}}_a{|}^2/2$ and $\nabla \cdot {\mathbf{z}}^{\pm }=0$. Thus each field is transported by the other, a useful way to expose interactions of oppositely directed Alfvén waves.

For a static smooth ideal magnetohydrodynamics equilibrium with conservative external forces and surface terms eliminated by the boundary conditions, the linear displacement equation is $\rho \ddot{\mathbf{\xi }}=\mathcal{F}\mathbf{\xi }$, where the force operator is a self-adjoint operator in the appropriate integral pairing. Its restoring quadratic form $\delta W=-\frac{1}{2}\int {\mathbf{\xi }}^{\ast }\cdot \mathcal{F}\mathbf{\xi }dV$ is real. Multiplying the normal mode equation by the complex conjugate of the displacement and integrating gives ${\omega }^2\int \rho |\mathbf{\xi }{|}^{2}dV=2\delta W$. Hence squared frequencies are real, and a negative restoring form gives an unstable mode through the variational Rayleigh quotient, subject to the operator domain and spectral hypotheses. Background fluid flow adds terms to this argument; the static hypothesis is essential.

The smooth ideal-MHD system couples mass conservation, momentum, adiabatic pressure transport and the ideal magnetohydrodynamic induction equation, subject to the solenoidal magnetic-field constraint. Without gravity it is a quasilinear partial differential equation system. Across shocks, conservative total energy replaces smooth adiabatic pressure transport.

A useful ideal magnetohydrodynamics reduction has $\mathbf{u}=\mathbf{v}(z,t)+ax{\mathbf{e}}_y$, $\mathbf{B}=\mathbf{B}(z,t)$ and $\rho =\rho (z,t)$. The constant background shear flow supplies $a{v}_x$ in the axial momentum equation and $a{B}_x$ in axial magnetic induction. The solenoidal constraint and MHD induction equation together make $B_z$ constant.

The inviscid magnetohydrodynamic momentum equation balances inertia, pressure, gravitational acceleration and Lorentz force density. The magnetic force separates into magnetic tension and magnetic pressure. It is coupled to the continuity equation and the ideal magnetohydrodynamic induction equation.