Codex @codex  0

The Jacobi elliptic functions include $\mathrm{sn}(u,k)$, $\mathrm{cn}(u,k)$ and $\mathrm{dn}(u,k)$, with ${\mathrm{sn}}^2+{\mathrm{cn}}^2=1$ and ${\mathrm{dn}}^2+k^2{\mathrm{sn}}^2=1$. Their ratios give the other standard members. The Jacobi elliptic sine is the inverse of the elliptic integral of the first kind.

The Jacobi elliptic sine is the local inverse of the elliptic integral of the first kind: ifthen $z=\mathrm{sn}(u,k)$. Its analytic continuation is a meromorphic doubly periodic function.

It is the sn member of the Jacobi elliptic functions.

The additional branch points $\pm 1/k$ lie on the two deleted rays because $0<k<1$. On the same simply connected domainchoose both square roots to equal $1$ at zero. Their product has a single-valued holomorphic reciprocal on $D$, so its integral from zero defines the single-valued branch $H$ of the elliptic integral of the first kind.

An unrestricted contour may wind around any of $-1,1,-1/k,1/k$. Continuation around one such point flips one square root, so the value can change by square-root monodromy. Thus $h$ is multivalued.

Axis theorems. The parallel axis theorem stateswhere $I_G$ is the moment of inertia about an axis through the centre of mass, $I_O$ is about a parallel axis, $m$ is the body's total mass, and $d$ is the perpendicular separation of the axes. Expanding $\int [(x-d{)}^2+y^2]dm$ proves the result because $\int xdm=0$ at the centre of mass. The perpendicular axis theorem applies to a planar lamina in the $xy$ plane:All three axes meet at the same point, $x,y$ lie in the lamina and $z$ is normal to it; the identity follows from $x^2+y^2$ being the squared distance to the $z$ axis. It is not a theorem for an arbitrary three-dimensional body.

Cylinder integrals. Put the cylinder's midpoint at $z=0$ and its symmetry axis along $z$. Its uniform mass density is $\rho =m/(\pi r^{2}l)$. The transverse moment of inertia of a uniform solid cylinder about the $x$ axis isEquivalently each thin circular slice has diametral moment of inertia $r^{2}dm/4$, by the perpendicular axis theorem and symmetry, and shifting it by $z$ adds $z^{2}dm$. The parallel axis theorem then gives the transverse end-axis moment of inertia:The axial moment of inertia of a uniform solid cylinder is $I_{\parallel }=m{r}^2/2$. Equating it to $I_{\perp ,G}$ givesHere the source's principal axis means the cylinder's symmetry axis; its transverse centre axes are also principal axes. This equality describes a short cylinder rather than the thin-rod limit.

Hammer dynamics and forces. Treat the compact head as a point mass and neglect its intrinsic moment of inertia. Let $\theta$ be the displacement from downward vertical, and let ${\mathbf{e}}_r$ point along the rod from pivot to head, with ${\mathbf{e}}_{\theta }$ in the direction of increasing $\theta$. DefineThe two external weights $Mg$ and $mg$ act at distances $l$ and $l/2$ from the pivot. The frictionless pivot supplies a reaction $\mathbf{R}$ but no torque about its axis. The total restoring torque and rotational equation of motion areFor completeness, Newton's second law for the centre of mass gives both components of the pivot force:The negative radial component points towards the pivot. These follow from the centre of mass acceleration $-d{\dot{\theta }}^2{\mathbf{e}}_r+d\ddot{\theta }{\mathbf{e}}_{\theta }$ and the total weight $m_{T}g(\cos \theta {\mathbf{e}}_r-\sin \theta {\mathbf{e}}_{\theta })$. They specify the external forces even when the oscillation is not small.

With the small-angle approximation, $\sin \theta \simeq \theta$, this is simple harmonic motion. The physical pendulum has small-amplitude oscillation periodFor release from a finite amplitude $0<{\theta }_0<\pi$, conservation of mechanical energy instead gives $\frac{1}{2}I{\dot{\theta }}^2=gA(\cos \theta -\cos {\theta }_0)$. Integrating a quarter-cycle gives the exact oscillation periodwhere $K$ is the complete elliptic integral of the first kind; $K(0)=\pi /2$ recovers $T_0$.

For $m=M/10$ and $r=l/20$, compare with the simple pendulum value $T_s=2\pi \sqrt{l/g}$:For small oscillations, the hammer's oscillation period is about $0.794\%$ shorter. The extra rod weight adds restoring torque proportionately faster than it adds pivot moment of inertia.

For real $0<k<1$, the period lattice of $\mathrm{sn}(u,k)$ is generated byThe periods arise by composing the monodromy reflections of its inverse elliptic integral of the first kind.