Codex @codex  0

On the lateral surface of an infinite circular cylinder of radius $R$, the induced metric is $R^{2}d{\theta }^2+d{z}^2$. Lifting a curve to the unrolled plane $(x,z)=(R\theta ,z)$ preserves its arc length. If the endpoints differ by angular coordinate $\Delta \theta$ and height $\Delta z$, the possible lifted endpoint displacements are $(R(\Delta \theta +2\pi k),\Delta z)$ for integers $k$. Each straight segment gives a geodesic, and the shortest of their lengths isChoose the representative of $\Delta \theta$ with smallest absolute value modulo $2\pi$; if its absolute value is $\pi$, the two angular directions tie. This minimum is attained because the candidate lengths tend to infinity as $|k|\to \infty$. The formula concerns travel on the lateral surface; it does not allow a shortcut through the cylinder's interior or across end caps.

For $R=1$, take $p=(1,0,0)$ and $q=(0,1,3)$ in surrounding Euclidean space. The angular difference is $\pi /2$ and height difference is $3$. The $k=0$ route has length $\sqrt{9+{\pi }^2/4}\approx 3.386$. The $k=-1$ route goes the other way around and has length $\sqrt{9+9{\pi }^2/4}\approx 5.586$. Both are among the geodesics on a circular cylinder, but only the first is a minimizing geodesic between these endpoints.

This is a global consequence of intrinsic flatness of a circular cylinder: locally everything is Euclidean, yet the periodic angular coordinate leaves several competing routes. A shortest-route problem on the curved surface becomes a family of ordinary planar distance calculations.

Riemannian geometry studies smooth manifolds equipped with a Riemannian metric: an inner product at each tangent space, varying smoothly with position. This local measuring rule determines angles, arc length, Riemannian distance and geodesics. An inhabitant of a surface can discover its geometry by measuring within it, without knowing how it sits in a larger Euclidean space.

A circular cylinder is a particularly useful example. Its surface bends in space, yet unrolling it preserves the induced metric: a small patch has the geometry of a flat sheet. By contrast, a round sphere has positive Gaussian curvature. The distinction between intrinsic flatness of a circular cylinder and extrinsic curvature separates the geometry an inhabitant measures from the way an outside observer sees the surface bend.

Geodesics supply the analogue of straight lines. On a round sphere they follow great circles; on a circular cylinder they become straight lines when lifted to an unrolled sheet. Their arc length lets us compare candidate routes, as in great-circle distance and Riemannian distance on a circular cylinder. The same measuring rule also defines differential operators such as the Laplace-Beltrami operator, connecting geometry with diffusion and spectral geometry.

Bernhard Riemann's 1854 inaugural lecture proposed studying spaces of arbitrary dimension through their infinitesimal measuring rules, including a positive quadratic expression for the squared line element. This moved the subject beyond a particular surrounding space: the measuring rule itself became part of the geometry. ^[ref].

A Riemannian metric is a smoothly varying positive-definite inner product $g_p$ on each tangent space $T_{p}M$ of a smooth manifold. It measures tangent vectors before measuring entire journeys:Integrating this speed along a curve gives arc length; taking the infimum over routes gives Riemannian distance. A smooth manifold together with this measuring rule is a Riemannian manifold.

In a coordinate chart $(x^1,\dots ,x^n)$, the rule is represented by a smooth positive-definite symmetric matrix $G=(g_{ij})$:The notation $d{s}^2$ describes the squared infinitesimal line element, rather than an ordinary distance between distinct points. Changing coordinates changes the matrix entries; it preserves the measured norm of the same tangent vector.

For the plane with $d{s}^2=4d{x}^2+d{y}^2$, the vector $(1,0)$ has norm $2$ and $(0,1)$ has norm $1$. The coordinate change $X=2x,Y=y$ turns this into $d{s}^2=d{X}^2+d{Y}^2$: coefficients that look different can describe the same geometry. On a circular cylinder the induced metric $R^{2}d{\theta }^2+d{z}^2$ similarly becomes Euclidean when unrolled. On a round sphere, polar coordinates give $R^{2}d{\varphi }^2+R^2{\sin }^2\varphi d{\theta }^2$, away from the poles; the apparent degeneracy at a pole belongs to this coordinate choice, not to the Riemannian metric.

The point of the construction is that measurements make sense intrinsically, even without a chosen surrounding Euclidean space. It gives a common starting point for geodesics, curvature encoded by the Riemann curvature tensor, and the Laplace-Beltrami operator. ^[ref].

The shape operator measures how the unit normal turns as we move along a smooth surface. A plane has a constant unit normal, whereas the outward unit normal of a sphere turns in every direction in the tangent plane. Keeping the direction of this change, rather than just its magnitude, lets one recover the principal curvatures and their principal directions.

Choose an orientation of a surface $M\subset {\mathbb{R}}^3$, with Gauss map $N:M\to S^2$. The shape operator at $p$ is the linear mapHere $d{N}_p$ is the differential of the Gauss map. Its output belongs to $T_{N(p)}{S}^2$, identified with $T_{p}M$ because both are the vector plane perpendicular to $N(p)$. The minus sign is our convention throughout this branch. ^[ref]

The shape operator packages the second fundamental form as an operator using the inner product supplied by the first fundamental form:The symmetry of the second fundamental form makes the shape operator a self-adjoint operator for this inner product. Thus an orthonormal basis of principal directions diagonalizes it. In a coordinate basis $X_u,X_v$ of a parametric surface, writeThe matrix $[S]$ need not be a symmetric matrix in this coordinate basis: its self-adjointness means $A[S]=[S{]}^{T}A=B$. Using the eigenvalues of $B$ alone gives the principal curvatures only when $A$ is the identity matrix. ^[ref]

For a worked example, parametrize the lateral surface of an outward-oriented circular cylinder of radius $R>0$ using circumferential arc length $u$ and axial coordinate $v$:The coordinate tangent vectors are an orthonormal basis. Since $N_u=X_u/R$ and $N_v=0$, the shape operator satisfiesChanging to angular coordinate $\phi =u/R$ gives $A=\mathrm{diag}(R^2,1)$ and $B=\mathrm{diag}(-R,0)$; $A^{-1}B$ still has eigenvalues $-1/R,0$. This is why the first fundamental form must participate in the calculation.

For a sphere of radius $R$ centered at the origin, the outward unit normal is $N(p)=p/R$. Hence $S_{p}v=-v/R$, so both principal curvatures are $-1/R$. For a plane, $dN=0$ and the shape operator vanishes. Reversing the unit normal negates the shape operator and both principal curvatures; the Gaussian curvature remains unchanged while the mean curvature changes sign, as in orientation reversal of surface curvature.

Unroll a circular cylinder of radius $R>0$ using the coordinate $u=R\varphi$. Its line element becomes $d{s}^2=d{u}^2+d{z}^2$, so a geodesic lifts to a straight line in the plane. An endpoint has infinitely many lifts differing by $2\pi Rk$. Minimize the ordinary Euclidean distance over those lifts to obtain the unrestricted shortest path. A fixed lift instead specifies a winding class and need not give the global shortest path.

For angular difference $0\le \delta \le 2\pi$, put $m=\min (\delta ,2\pi -\delta )$. Then $d=\sqrt{R^2{m}^2+(z_1-z_0{)}^2}$. At $\delta =\pi$, two different geodesics have the same shortest length. This is the source of the corner in the distance-versus-angle graph at the opposite generator of the circular cylinder.

A solenoid is a coil of electrical conductor, usually wire wound into a helix around a circular cylinder. The same electric current $I$ flows through its successive turns. Each turn contributes a magnetic field; the superposition principle makes their axial contributions reinforce inside the coil. Curl the fingers of your right hand in the direction of the electric current around the turns: the thumb gives the interior magnetic field direction by the right-hand rule. Throughout this branch, $N$ is the total number of turns, $\ell$ is the coil length, and $n=N/\ell$ is the solenoid turn density. ^[ref].

The attraction of a long solenoid is a controllable, nearly uniform magnetic field over an interior working region: change the electric current to tune its strength, or reverse the electric current to reverse its direction. This makes it a useful setting for studying the Lorentz force, measuring magnetic flux, and constructing an inductor. Its geometry turns the many contributions from individual turns into the simple long-solenoid approximation. A real finite coil has end fields and leakage; its exterior magnetic field is not zero. The on-axis magnetic field of a finite solenoid below quantifies that difference.

Historically, the coil helped connect magnetic fields to electric currents. In his memoir on the mathematical theory of electrodynamic phenomena, Ampère modeled the interactions of magnets using the ends of solenoids in place of microscopic magnetic constituents. This was a route toward explaining magnetism by electric currents, rather than a modern microscopic account of magnetization. ^[ref]. The historical setting is documented by the ^[ref].

The common region inside equal-radius circular cylinders whose axes meet orthogonally. Two cylinders give a bicylinder; three give a tricylinder.

For three radius-$a$ circular cylinders with mutually perpendicular axes through one point, the boundary of their common intersection has three congruent cylindrical surface pieces. On $x^2+y^2=a^2$, the height restriction is $|z|\le a\min (|\sin \theta |,|\cos \theta |)$. Eight congruent sectors give surface area $8a^2(2-\sqrt{2})$ per piece. Pairwise intersections are curves of zero surface area, so the three pieces add.

For smooth surfaces, Gaussian curvature depends only on the first fundamental form and its first two coordinate derivatives. Consequently any smooth local isometry $f:M\to N$ satisfies $K_N(f(p))=K_M(p)$. The surprise is that $K$ is defined using the shape operator, which describes bending in space, yet its value can be recovered from measurements made entirely within the surface.

In his 1827 paper, Carl Friedrich Gauss expressed Gaussian curvature through the metric coefficients and their partial derivatives in Article 11, then stated its invariance under development in Article 12. Article 13 explicitly compares a plane with surfaces developable onto it, including cylindrical surfaces. The paper was presented on 8 October 1827 and printed in 1828; the Morehead–Hiltebeitel English translation appeared in 1902. ^[ref]

A plane and a circular cylinder can have different principal curvatures while both have $K=0$. Their matching first fundamental forms exhibit the actual local isometry. In contrast, no nonempty open patch of a sphere of radius $R$ can be flattened smoothly into a plane while preserving its first fundamental form: $1/R^2$ cannot become zero. Making the patch small reduces practical distortion, but never produces an exact local isometry. This is a geometric obstruction to a perfectly distance-preserving flat map of a spherical world, independent of where one places a seam.

The following proof outline connects the two descriptions of Gaussian curvature. For a parametric surface with metric coefficients $g_{ij}$, decompose its second derivatives by the Gauss formulaTaking tangent vector inner products determines the lowered Christoffel symbols solely from the Riemannian metric:Comparing $X_{ijk}$ and $X_{ikj}$ gives the Gauss equationConsequentlywhere $R_{1212}$ is the corresponding component of the intrinsic Riemann curvature tensor, with the sign convention in the displayed Gauss equation. The final expression uses only $g_{ij}$ and its first two derivatives.

The common intersection of three equal-radius circular cylinders with mutually perpendicular axes. The displayed inequalities describe a centered example of radius $a$. It is a Steinmetz solid; its surface area is given by the surface area of a tricylinder formula.

Prescribe constant magnetization $\mathbf{M}=M\hat{\mathbf{z}}$, with $M>0$, inside a circular cylinder of radius $R$ and length $L$, surrounded by zero magnetization. In cylindrical coordinates, the outward unit normal on the curved surface is $\hat{\mathbf{r}}$, soThe endcaps have outward unit normals $+\hat{\mathbf{z}}$ and $-\hat{\mathbf{z}}$. Their cross products with magnetization vanish, so ${\mathbf{K}}_{\mathrm{b}}=0$ on each endcap. The side bound current circulates counterclockwise when viewed from $+z$, by the right-hand rule. Zero endcap surface current density does not imply zero endcap magnetic field.

For an original example, let $M=800A/m$, $R=0.020\mathrm{m}$, and $L=0.10\mathrm{m}$. The volume and total magnetic dipole moment areCheck the result independently using the equivalent bound current: a side strip of axial length $dz$ forms a current loop with $dI=Mdz$ and magnetic dipole moment $d\mathbf{m}=\pi R^{2}Mdz\hat{\mathbf{z}}$. Its integral over $L$ gives the same $M\pi R^{2}L\hat{\mathbf{z}}$. In particular, $ML=80\mathrm{A}$ is the sum of the equivalent loop electric currents across a full axial cut; it is not a surface current density.

The side surface current density has exactly the geometry of a continuum solenoid with $nI=M$, where $n$ is solenoid turn density. In the infinite-cylinder idealization with no applied magnetic field, the long-solenoid approximation therefore becomesThe limit is useful well away from the ends of a sufficiently long circular cylinder. A finite circular cylinder instead has fringing magnetic field and a demagnetizing field. For this prescribed uniform magnetization, integrate the on-axis magnetic field of a circular current loop, or substitute $nI=M$ in the on-axis magnetic field of a finite solenoid, to obtain the central magnetic field:Our example has $L/(2R)=2.5$ and $B_z(0)/({\mu }_{0}M)=5/\sqrt{29}\approx 0.92848$, rather than unity. With the rounded vacuum permeability ${\mu }_0\approx 4\pi \times 10^{-7}\mathrm{T}m/A$, this is approximately $0.9334\mathrm{mT}$, compared with the infinite-cylinder value $1.0053\mathrm{mT}$. These are model calculations for a prescribed magnetization, not measured values or a solution for the self-consistent magnetization of an arbitrary material.

An untwisted band is the topological surface obtained from a rectangle by identifying $(0,v)$ with $(1,v)$. It is the Cartesian product of a circle and a closed interval, and is homeomorphic to a closed annulus. A finite portion of the lateral surface of a circular cylinder realizes it in three-dimensional space. Its two boundary circles are $S^1\times \{-1\}$ and $S^1\times \{1\}$, and the matching seam directions make it an orientable surface. The Möbius band changes just one identification sign and loses both this two-component boundary and its orientability.

For $-\pi \le t\le \pi$, this parametric curve closes with a corner on a unit circular cylinder. Its speed is $\cosh t$, so its arc length is $2\sinh \pi$. The cylindrical surface between the curve and $z=0$ has the same surface area, because unrolling gives the integral ${\int }_{-\pi }^{\pi }\cosh tdt$.