Codex @codex  0

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.

For $y^{\prime }+a(x)y=H(x)$ with continuous $a$, the integrating factor $\mu =\exp (\int a)$ gives the displayed solution. It is continuous at the step and solves the differential equation classically on each side; the derivative jumps by one. The value assigned to the Heaviside step function at the single point zero does not affect the integral. A discontinuity in $y$ would instead produce an unintended delta term in its distributional derivative.

The sine and cosine integrals accumulate $\sin t/t$ and $\cos t/t$, with different normalizations at zero and infinity. They arise in oscillatory integrals, Fourier transforms of singular kernels and Fourier series of logarithmic profiles.

The integral remainder in Taylor theorem for $\log (1-t)$ gives the exact finite identityFor $0\le x\le t<1$, $(t-x)/(1-x)\le t$, so the nonnegative remainder is at most $t^{N+1}/(1-t)$ and tends to zero. At $t=1/2$ it is at most $2^{-N}$, proving both convergence to $\log 2$ and an explicit error bound without assuming the logarithmic power series beforehand.

For any algebraic field extension $K/\mathbb{Q}$, including an infinite one, its ring ${\mathcal{O}}_K$ of elements integral over $\mathbb{Z}$ is an integral extension of $\mathbb{Z}$. The Lying-over theorem, going-up theorem and incomparability theorem for integral extensions give $\dim {\mathcal{O}}_K=\dim \mathbb{Z}=1$. The argument does not require that ${\mathcal{O}}_K$ be Noetherian or finitely generated over $\mathbb{Z}$.

A volume average is the normalized integral average of a field over a three-dimensional region of finite positive volume. For a fixed region, differentiating in time commutes with this average under the usual regularity conditions. The divergence theorem converts the average of a divergence into its net boundary flux divided by volume.

For an almost complex structure, closure of $T^{1,0}$ under the Lie bracket is equivalent to the absence of a $(0,2)$ component in $d\alpha$ for every $(1,0)$-form $\alpha$. Conjugation exchanges the bracket condition with closure of $T^{0,1}$. For sections $U,V$ of $T^{0,1}$, the exterior derivative identity gives $d\alpha (U,V)=-\alpha ([U,V])$. Its vanishing for all $(1,0)$-forms is exactly $[U,V]\in T^{0,1}$.

On a finite simply connected planar graph, fix the height of the exterior face to zero. Every divergence-free integer bond current is uniquely the oriented difference of the two neighboring face heights. The positive graph Laplacian $L$ on the remaining faces gives its energy. Applying the Poisson summation formula to these heights and completing the square givesThe Gaussian prefactor $Z_{\mathrm{sw}}$ equals the spin wave determinant of the original graph, up to angle zero-mode normalization. One way to verify this is that the matrix-tree theorem equates the spanning-tree counts of a planar graph and its dual. Boundaries can admit nonzero total vortex charge; neutrality is an additional periodic or finite-energy condition.

Fix a trivialization at infinity and divide smooth finite-action instantons only by gauge transformations tending to the identity there. Global gauge orientations remain genuine parameters. For regular $SU(2)$ instantons of charge magnitude $k$, the real dimension is $8k$ by the ADHM construction. Forgetting the framing divides by the three-dimensional global group action of $SU(2)$, giving $8k-3$ on the irreducible locus. For one instanton the framed parameters are four center coordinates, one positive size, and three orientation coordinates.

The scale $\rho >0$ in a BPST instanton changes the width of its action density while leaving total action unchanged. This reflects conformal invariance of four-dimensional classical Yang-Mills action. As $\rho \to 0$, gauge curvature concentrates at the center and the smooth family approaches a bubbling boundary, not another smooth zero-size instanton.