For the Inverse Gaussian distribution parametrized by shape $\psi$ and mean $\lambda$, the joint maximum-likelihood estimators are $\hat{\lambda }=\bar{Y}$ and $\hat{\psi }=(\overline{Y^{-1}}-1/\bar{Y}{)}^{-1}$. With known $\lambda$, the shape estimator is instead $(\overline{Y^{-1}}-2/\lambda +\bar{Y}/{\lambda }^2{)}^{-1}$. Parameter orthogonality gives the same Wald test formula $n(\hat{\psi }-{\psi }_0{)}^2/(2{\hat{\psi }}^2)$ in both fits. The two estimators differ by $O_p(n^{-1})$ under regular model sampling, so the test statistics agree to first order under the null; they need not be numerically equal in finite samples.

Let $j_i=\mathrm{Im}(\bar{\Phi }{D}_i\Phi )$. The identityand completing the square give, when the current boundary integral vanishes,For flux $2\pi N>0$, the lower bound is $\pi N$, saturated by the two first-order Bogomolny equations. Division by $h$ is interpreted in the finite-energy sense at its zeros.

Write $\Phi =e^{u/2+i\chi }$ away from its zeros and use the oriented planar Hodge star with $\ast d{x}^1=d{x}^2$. The first Bogomolny equation gives $A=d\chi -\frac{1}{2}\ast du$. A zero of multiplicity $n_j$ contributes $u=2n_j\log |x-p_j|+\text{smooth}$ and phase winding $2\pi n_j$. Combining the smooth magnetic field with these delta sources gives the displayed equation and the topological boundary condition $u\to 0$. Prescribed zero positions and multiplicities reduce multi-vortex construction to this scalar elliptic problem; a regular solution reconstructs both smooth fields.

In coordinates $(\theta ,z)$ on a circular cylinder of radius $a$, the induced metric is $a^{2}d{\theta }^2+d{z}^2$. Its coefficients are constant, so the Christoffel symbols vanish and the affinely parametrized geodesic equation is ${\theta }^{\prime \prime }=z^{\prime \prime }=0$. The nonconstant solutions are generators when $c=0$, circular parallels when $d=0$, and helices when both are nonzero. Unrolling the cylinder with coordinate $u=a\theta$ makes all these curves straight lines in the Euclidean metric. Unit-speed parametrization additionally requires $a^2{c}^2+d^2=1$.

For a worked helix on a circular cylinder of radius $1$, choose $\theta (t)=2\pi t,z(t)=2t$ for $0\le t\le 1$. Unrolling gives the straight segment $(u,z)=(2\pi t,2t)$, so its arc length is $\sqrt{4{\pi }^2+4}$. Its acceleration in space points normally to the surface, consistent with the geodesic equation.

This geodesic is not globally shortest between its endpoints: they share the same angular position, and the vertical generator has length $2$. The helix minimizes length among paths with the same endpoints and one full winding, because their unrolled lifts join $(0,0)$ to $(2\pi ,2)$. In general, geodesics minimize sufficiently short subarcs; changing winding can produce a shorter route. Keeping this local/global distinction makes unrolling useful without mistaking every straight lift for an unrestricted shortest path.

For $c,r>0$, an intersection inside a disk requires at least two lines to meet that disk. The latter count is Poisson with mean $2\pi cr$, giving the non-strict bound first. It is strict because two lines with nearby normal angles but separated perpendicular distances can both hit the disk while intersecting outside. Choose two positive-measure parameter boxes forcing this configuration; the event of exactly one line in each box and no other disk-hitting line has positive probability. This also yields a void probability too large to equal that of a Poisson point process with the intersection process's intensity measure.

In the product $(S^{2d}{)}^{2\ell }$, for $d,\ell \ge 1$, vary the factors indexed by an $\ell$-element subset $I$ and fix points in the other factors. Orient the resulting submanifold $S_I$ in increasing factor order. These homology classes form an integral middle-dimensional basis by the Künneth theorem. Complementary subsets give a transverse intersection at one point, with positive sign since all factor dimensions are even. For noncomplementary subsets some factor is fixed in both representatives; moving that point makes them disjoint. In particular every basis class has zero self-intersection number. Complementary pairs give hyperbolic blocks in the intersection form.

The intersection matrix records an intersection pairing on chosen classes. Its nonsingularity proves linear independence: a relation between the classes, paired with each class in turn, gives a vector in the matrix's kernel.

For an isolated singular point of an $N$-dimensional oriented pseudomanifold, the unshifted middle intersection complex restricts to $\mathbb{Q}$ on the regular stratum and has no negative cohomology. Its support condition is $H^j(i_x^{\ast }I{C}_{\bar{p}})=0$ for $j>\bar{p}(N)$; its cosupport condition is $H^j(i_x^{!}I{C}_{\bar{p}})=0$ for $j\le \bar{p}(N)+1$. These conditions, together with constructibility and normalization, characterize it. On a Witt space they are exchanged by $IC\cong D(IC)[-N]$.

For $n\ge 1$, the $n+1$ Chebyshev-Lobatto nodes are the extrema of the Chebyshev polynomial $T_n$ on $[-1,1]$, including both endpoints: $T_n(x_k)=(-1{)}^k$. Imagine $n+1$ equally spaced angles on a semicircle and project their points onto the horizontal axis. The interpolation nodes crowd near $-1$ and $1$ because equal angular steps have smaller horizontal projections there. Reversing the order gives the same set. These are distinct from the roots of a polynomial $\cos ((2k+1)\pi /(2n+2))$ of $T_{n+1}$, which omit the endpoints. Driscoll and Braun call this endpoint-including family Chebyshev points of the second kind or Chebyshev extreme points.^[ref]

On an interval $[a,b]$, use $x_k=(a+b)/2+(b-a)\cos (k\pi /n)/2$. The Runge phenomenon example compares polynomial interpolation at eleven Chebyshev-Lobatto nodes with eleven equally spaced interpolation nodes. The distinction matters whenever sampling locations are a choice rather than fixed observations.

A reflecting bottom beneath a jump in buoyancy frequency creates a standing field from repeated transmitted and reflected internal gravity waves. For ray angles ${\theta }_1=\pi /3$ and ${\theta }_2=\pi /6$, the downward particle-displacement amplitude has magnitude $\sqrt{3}|{\eta }_i|/[1+8{\sin }^2(m_{2}H){]}^{1/2}$. It reaches $\sqrt{3}|{\eta }_i|$ when $m_{2}H$ is an integer multiple of $\pi$. The upper reflected wave has the same amplitude magnitude as the incident wave because the lossless closed cavity admits no net downward energy flux.

For a nonrotating plane internal gravity wave with phase $kx+mz-\omega t$, let $K^2=k^2+m^2$, $k\ne 0$, and use kinematic pressure. The Linearized Boussinesq equations and $\mathbf{u}={\partial }_t\mathbf{\xi }$ give $\hat{u}=-im\omega \hat{\sigma }/(k{N}^2)$, $\hat{\xi }=m\hat{\sigma }/(k{N}^2)$ and $\hat{p}=-im\hat{\sigma }/K^2$, together with the displayed vertical relations. Buoyancy and displacement field are in phase or opposite phase; velocity and pressure are in quadrature with them. Incompressibility makes both the oscillating velocity and displacement field perpendicular to the wavevector.

Clemson's documented apparatus is a book held tightly closed with several rubber bands. Toss it freely with spin about each principal axis in turn: the stated visual readout is steady orientation for the smallest and largest principal moments of inertia, but a flip before the catch for the intermediate one. The same book and the two extreme-axis throws provide comparison controls; the bands support the rigid body approximation by restraining the pages. This is a documented qualitative demonstration, not a measurement of ${\lambda }_2$.^[ref]

For a rectangular book with length $a$, width $b$ and thickness $c$, where $a>b>c$, a uniform mass model gives principal moments of inertia $M(b^2+c^2)/12$, $M(a^2+c^2)/12$ and $M(a^2+b^2)/12$. The intermediate principal axis runs across the width through the centre of mass; the maximum is normal to the cover. A marked cover or end helps distinguish ordinary spin from reversal of a directed body axis.

Interpret only the interval after release and before the catch: hand contact applies torque, whereas gravity in a uniform gravitational field has zero net torque about the centre of mass because $\int \mathbf{r}dm=0$. Air resistance, page motion, an imperfect release and short flight limit the approximation. A toss ending before the perturbation grows need not reveal instability. Comparable initial angular speeds and flight durations would improve the comparison; these are suggested controls, not quantified controls reported by Clemson.

A useful readout of a tumble is the alignment of the intermediate principal axis ${\hat{e}}_2$ with the conserved angular momentum direction $\hat{L}$. In the principal body frame, write $L_i=I_i{\omega }_i$ and $L=|\mathbf{L}|$. ThenA change from $c_2\simeq +1$ to $c_2\simeq -1$ means that the directed body axis has turned nearly $180^{\circ }$ relative to $\mathbf{L}$. It does not mean that $\mathbf{L}$ reversed in the fixed space frame. The unsigned line through that principal axis hides this distinction, so a marked end matters in an actual demonstration.

For the normalized intermediate-axis model with $\mathbf{\omega }(0)=(0.01,1,0)$, the rotational kinetic energy and squared angular momentum are $E=1.00005$ and $L^2=4.0001$. Hence $L^2-2E{I}_2=-0.0001$: this initial condition lies close to, but off, the intermediate-axis separatrix. An independent calculation evolves ${\dot{\mathbf{L}}}_{\mathrm{body}}={\mathbf{L}}_{\mathrm{body}}\times I^{-1}{\mathbf{L}}_{\mathrm{body}}$ and a rotation matrix taking body components to space components. The intermediate principal axis crosses $c_2=0$ at normalized times approximately $10.3773$ and $31.1319$, alternating long nearly aligned intervals with quicker reversals.

Both calculations use step size $0.005$ without rescaling either invariant. Over $0\le t\le 50$, the tumbling calculation changes rotational kinetic energy and squared angular momentum by less than $4\times 10^{-13}$ relative to their initial values. Reconstructing $\mathbf{L}$ in the fixed space frame gives relative error below $3\times 10^{-12}$. Halving the step changes the body components and rotation matrix entries by less than $3\times 10^{-10}$. These checks distinguish physical tumbling from numerical drift. On the exact intermediate-axis separatrix, approach to an intermediate-axis rotation takes infinite time; the recurrent off-separatrix example here is different.

Choose an inertia unit $I_{\ast }$ and an angular speed unit ${\Omega }_{\ast }>0$, so physical principal moments of inertia are $I_{\ast }(1,2,3)$, physical angular velocity is ${\Omega }_{\ast }\mathbf{\omega }$, and normalized time is $t={\Omega }_{\ast }{t}_{\mathrm{physical}}$. The Euler equations for a torque-free rigid body becomeThis is a physically admissible ideal planar mass distribution: $I_3=I_1+I_2$ is the perpendicular axis theorem. A book of finite thickness need not have these exact ratios.

For an original comparison, start with angular velocity $(1,\epsilon ,0)$, $(\epsilon ,1,0)$ or $(\epsilon ,0,1)$, respectively. With $\epsilon =0.01$, the transverse Euclidean norm stays small about axes one and three, but becomes order one about axis two. For the intermediate-axis start, its linearization givesThe hyperbolic functions contain a growing exponential function with rate ${\lambda }_2=1/\sqrt{3}$. Reducing $\epsilon$ tenfold delays reaching the same small transverse amplitude by approximately $\sqrt{3}\log 10\simeq 3.99$ normalized time units, once the growing term dominates. That delays the instability. Once the transverse angular velocity is comparable to the main component, the linearization ceases to describe the motion.

Differentiation preserves the ordering of interlacing roots of polynomials of equal or consecutive polynomial degrees. Iteration gives the result for every derivative for which both polynomials are nonconstant; common roots are allowed by a limiting argument. This is a result about the locations of roots of a polynomial, distinct from the Markov inequality for polynomial derivatives. Theorem A of Dimitar K. Dimitrov's account states the first-derivative result.

For a monic polynomial $p(x)={\prod }_i(x-a_i)$ with distinct ordered real roots of a polynomial, each critical point $\xi$ lies between two consecutive roots by Rolle's theorem. Its logarithmic derivative gives ${\sum }_i(\xi -a_i{)}^{-1}=0$. Implicit differentiation gives the displayed formula, so moving any root to the right moves every ordered critical point to the right, while the roots remain distinct. Iterating this statement for derivatives preserves componentwise ordering of their roots. Weak inequalities extend by continuity to repeated roots.

At a point in a normal orthonormal frame, torsion-freeness makes the frame brackets vanish there, hence the dual one-forms have zero exterior derivative there. Differentiating the interior product formula then leaves only ${\sum }_i{E}_i(f_i){\omega }_g$, the divergence of a Riemannian vector field. Since the point is arbitrary, the identity holds globally.

One payment period of an interest-rate cap. For $1+\delta K>0$, its value at the reset date is $(1-(1+\delta K)P(T,U){)}^{+}$. Thus the caplet is equivalent before reset to $1+\delta K$ units of a put expiring at $T$ on the maturity-$U$ zero-coupon bond, with strike $(1+\delta K{)}^{-1}$.

A two-factor interaction means that changing one factor has a different effect at different levels of another. For a two-level factorial design, its sign column is $x_i{x}_j$, and four times its coefficient is the corresponding difference of differences. It can be confounded with other factorial contrasts in a fractional factorial design.

For the differential one-form $fdy+gdx$, a nonzero integrating factor $\mu$ makes $\mu fdy+\mu gdx$ an exact differential form locally. If it equals $dF$, then $F_y=\mu f$, $F_x=\mu g$, and equality of mixed partial derivatives gives the displayed compatibility condition. Conversely this condition is local sufficiency for smooth coefficients on a small rectangle; global exactness additionally depends on the domain. Zeros of the multiplying factor can change the solution set, so equivalence is asserted only where the factor is nonzero.