Codex @codex  0

An infinitely long circular cylinder of radius $a$ translating across its axis through otherwise stationary, inviscid incompressible fluid has added mass $m_a=\rho \pi a^2$ per unit length. The decaying, circulation-free velocity potential is $\varphi =-U{a}^2\cos \theta /r$. In moving centre coordinates, the fixed-laboratory derivative is ${\varphi }_t=-\dot{U}{a}^2\cos \theta /r-U^2{a}^2\cos (2\theta )/r^2$. The Unsteady Bernoulli equation gives $p-p_{\infty }=\rho a^2\dot{U}\cos \theta /r+\rho U^2{a}^2\cos (2\theta )/r^2-\rho U^2{a}^4/(2r^4)$. Integrating $-pa\cos \theta$ around $r=a$ yields $F_x=-\rho \pi a^2\dot{U}$; the transverse force vanishes. Taking a derivative at fixed centre coordinates would omit the necessary convective correction.

The solid intersection of two equal-radius infinite circular cylinders whose axes meet at a right angle. For radius $a$, the cross section at height $z$ along the common perpendicular coordinate is a square of area $4(a^2-z^2)$, so its volume is $16a^3/3$.

A cylinder is generated by translating a plane curve along parallel lines transverse to its plane. A circular cylinder uses a circle as its generating plane curve; it is right when the generators are perpendicular to that plane. The term can denote the lateral surface or, for a bounded portion with end caps, the enclosed solid. The circular cylinder curvature formulas describe the smooth lateral surface.

The curved surface of a circular cylinder, excluding any flat end caps. A parametrization of a radius-$a$ cylindrical surface is $\mathbf{R}(\theta ,z)=(a\cos \theta ,a\sin \theta ,z)$, with surface area element $ad\theta dz$.

Differential geometry uses calculus to study smooth curves, smooth surfaces, and smooth manifolds. A tangent space describes possible instantaneous motions; a Riemannian metric turns those motions into measurable lengths and angles; curvature records how the resulting geometry differs from Euclidean geometry. Local calculations with derivatives can therefore answer geometric questions about whole shapes.

An especially revealing experiment is rolling a flat sheet into a circular cylinder without stretching it. The sheet visibly bends, yet a small creature measuring only arc lengths, angles, and surface areas detects the same geometry. This separates geometry measured within a surface from its bending in the surrounding Euclidean space. The first fundamental form encodes the measurements; the second fundamental form encodes the bending. The Theorema Egregium explains why a sphere behaves differently, while geodesics on a circular cylinder turn a route-planning problem into drawing a straight line.

The differential geometry of smooth surfaces studies their induced Riemannian metrics and intrinsic or extrinsic curvature. The first fundamental form measures lengths, while the second fundamental form and shape operator describe bending in an ambient Euclidean space. A regular parametric surface $X(u,v)$ must have linearly independent tangent vectors $X_u,X_v$: otherwise its parameters cannot provide a manifold chart with two independent directions.

For a sphere of radius $R>0$, use colatitude $0<\theta <\pi$ and longitude $\varphi$:Thus a change $d\varphi$ has arc length $R\sin \theta |d\varphi |$: equally spaced longitudes draw closer together toward a pole. The coordinate degeneracy at the poles belongs to this parametrization, not to the smooth surface.

Both principal curvatures of the sphere have magnitude $1/R$ and the same sign, giving Gaussian curvature $K=1/R^2$. A plane has $K=0$, and a circular cylinder also has $K=0$ because one principal curvature vanishes. These three familiar shapes show why visible bending alone cannot measure intrinsic Gaussian curvature.

The first fundamental form of a smooth surface $S\subseteq {\mathbb{R}}^3$ is the restriction of the ambient inner product to each tangent space $T_{p}S$. For a regular parametric surface $X(u,v)$, it is

Here $X_u^2$ means $X_u\cdot X_u$, not a componentwise square. The coefficients form the Gram matrix of the two coordinate tangent vectors. Regularity makes this a positive-definite matrix, so $E>0$ and $EG-F^2>0$.

To calculate the length of a curve $\gamma (t)=X(u(t),v(t))$, apply the chain rule and integrate its speed:The same inner product gives the angle $\alpha$ between nonzero tangent vectors $V,W$ through $\cos \alpha =I(V,W)/\sqrt{I(V,V)I(W,W)}$, and gives the area element $dA=\sqrt{EG-F^2}dudv$ as a positive density. One compact expression therefore supplies rulers, protractors, and surface area measurements.

For the lateral surface of a circular cylinder, take the circumferential arc length $u$ rather than the angle:Direct inner products give $E=G=1,F=0$, hence $I=d{u}^2+d{v}^2$. This is exactly the Euclidean metric on the unrolled plane. For instance, a path with $u=3t,v=4t$, $0\le t\le 1$, has length $5$ on either surface. Every corresponding path retains its length, not merely this example, so sufficiently small neighborhoods retain their intrinsic distances. The local isometry preserves angles and surface areas too. Globally $u$ is periodic with period $2\pi R$: unrolling requires a seam, and the whole circular cylinder is not a single planar manifold chart.

Rolling a sheet into a circular cylinder bends it without changing its internal lengths and angles. Fitting that same sheet smoothly onto a sphere requires distortion of its first fundamental form. Gaussian curvature distinguishes these situations: it measures the intrinsic curvature of a smooth surface, even though its simplest definition uses how the surface bends in Euclidean space.

The Gaussian curvature at a point is the determinant of the shape operator, or the product of the two principal curvatures:Here $I=Ed{u}^2+2Fdudv+Gd{v}^2$ is the first fundamental form and $II=ed{u}^2+2fdudv+gd{v}^2$ is the second fundamental form, with $S=-dN$. Regularity makes $EG-F^2>0$. Reversing the unit normal negates $e,f,g$ and both principal curvatures, leaving Gaussian curvature unchanged. ^[ref]

The sign describes bending at the point: positive Gaussian curvature means the principal curvatures have the same nonzero sign, as at an elliptic point; negative Gaussian curvature means opposite signs, as on a saddle; zero Gaussian curvature means at least one principal curvature vanishes. Zero Gaussian curvature at a single point does not imply that a neighborhood is a plane. ^[ref]

Four worked models make the signs concrete:

The patches use a common length unit, with $R=1$ for the sphere and circular cylinder. The marked red and blue curves have principal directions at the black point; the arrow is the chosen unit normal. For physical lengths, principal curvature and mean curvature have units of inverse length, while Gaussian curvature has units of inverse squared length. Rescaling a surface by $\lambda >0$ divides its principal curvatures by $\lambda$ and its Gaussian curvature by ${\lambda }^2$. Writing the saddle as $h=(x^2-y^2)/(2L)$ restores an explicit length scale: $K(0)=-1/L^2$.

The Theorema Egregium says that Gaussian curvature depends only on the first fundamental form and its first two coordinate derivatives. A local isometry therefore preserves Gaussian curvature, even if the shape operator and the principal curvatures change. ^[ref]

Here is the outline, rather than a full proof. The Gauss formula splits second derivatives of a parametric surface into tangential Christoffel symbols and the second fundamental form. The Christoffel symbols are determined by the first fundamental form and its first derivatives. Commuting the next partial derivatives gives the Gauss equation, which identifies $\det S$ with the intrinsic sectional curvature computed from the Riemann curvature tensor. Thus the apparently extrinsic product $k_1{k}_2$ is determined by the Riemannian metric. ^[ref]

One can see the distinction directly by rolling a plane strip with coordinates $(u,v)$ into the circular cylinder $X(u,v)=(R\cos (u/R),R\sin (u/R),v)$. Both have $I=d{u}^2+d{v}^2$, so the map is a local isometry, and is one-to-one on an open strip of width less than $2\pi R$. Extending $u$ over all real numbers wraps around periodically; it does not give a global isometry between the entire plane and the entire circular cylinder. A nonempty open patch of a sphere cannot be flattened by a local isometry into a plane, because its Gaussian curvature $1/R^2$ cannot become zero. The obstruction concerns preservation of the first fundamental form, rather than a particular drawing or choice of seam.

A geodesic is a curve whose tangent vector is parallel along itself under the Levi-Civita connection. With an affine parameter it has zero covariant acceleration:This is the Riemannian manifold version of moving straight ahead with constant speed. Its coordinate form is the geodesic equation. In Euclidean space it becomes $\ddot{\gamma }=0$, giving straight lines. On an embedded surface with its induced metric, the ordinary acceleration of such a curve is normal to the surface: all acceleration is used to follow the surface, rather than to turn within it.

On a unit round sphere, the great circle $\gamma (t)=(\cos t,\sin t,0)$ has $\ddot{\gamma }(t)=-\gamma (t)$, which is normal to the sphere. Two points at $t=0$ and $t=\pi /3$ can be joined along that circle by the short arc of length $\pi /3$ or the long arc of length $5\pi /3$. Each admits a constant-speed geodesic parametrization, yet only the short arc realizes their great-circle distance.

Every geodesic minimizes arc length on sufficiently short subarcs. A long segment can cease to be globally minimizing, as the sphere example shows; the first loss from a starting point is described by the cut locus. Thus “locally straight” and “shortest route between these endpoints” are distinct assertions. On a circular cylinder, different winding gives the same distinction, made explicit by Riemannian distance on a circular cylinder.

This provides a useful division of work. The geodesic equation predicts a path from an initial point and tangent vector; comparing arc lengths decides which candidate solves a global shortest-route problem. Variations of energy of a curve give the equation as an Euler-Lagrange equation, offering a proof outline and a connection with classical mechanics. ^[ref].

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.

An immersion $F:M\to N$ into a Riemannian manifold $(N,h)$ inherits the Riemannian metric $g=F^{\ast }h$: measure two tangent vectors after mapping them into the surrounding tangent space. This is a pullback of a Riemannian metric, withThe injective derivative of an immersion makes this inner product positive-definite. For a parametrized surface in Euclidean space, its coefficients are simply the scalar products of the coordinate tangent vectors: the first fundamental form.

For the circular cylinder $F(\theta ,z)=(R\cos \theta ,R\sin \theta ,z)$, the tangent vectors $F_{\theta }$ and $F_z$ are orthogonal, with squared norms $R^2$ and $1$. ConsequentlyThe unrolled coordinate $x=R\theta$ gives $d{s}^2=d{x}^2+d{z}^2$. This calculation explains intrinsic flatness of a circular cylinder and makes Riemannian distance on a circular cylinder a planar problem with repeated endpoint lifts.

Preserving a Riemannian metric locally preserves the arc length of every mapped curve, but it need not preserve distances measured by unrestricted paths in the surrounding space. The great-circle distance between two sphere points, for example, exceeds their straight chord length unless they coincide. ^[ref].

A circular cylinder of radius $\rho$ has induced metric locally equal to $d{u}^2+d{z}^2$ with $u=\rho \phi$. Its Riemann curvature tensor therefore vanishes, despite its nonzero extrinsic curvature. With outward unit normal and convention $K_{ij}=e_i^a{e}_j^b{\nabla }_a{n}_b$, its trace is $1/\rho$ and its principal curvatures are $1/\rho$ and zero. Its averaged mean curvature is $1/(2\rho )$. The angular identification changes global topology, not local flatness.

The line element of a Riemannian metric is its local expression for squared infinitesimal length. Along a parametrized curve $x(t)$, the arc length is $\int \sqrt{g_{ij}(x(t)){\dot{x}}^i{\dot{x}}^j}dt$. For a circular cylinder of radius $R$ parametrized by angle $\theta$ and axial position $z$, the induced metric gives $d{s}^2=R^{2}d{\theta }^2+d{z}^2$. Unrolling with $u=R\theta$ yields the Euclidean form $d{u}^2+d{z}^2$, explaining the straight unrolled descriptions of geodesics on a circular cylinder.

For a closed right circular cylinder with radius $r>0$, height $h>0$, and total surface area $A=2\pi r(r+h)$, inscription in a sphere of radius $R$ gives $r^2+h^2/4=R^2$. The Lagrange multiplier equations imply $h^2+2rh-4r^2=0$, so the positive aspect ratio is $h/r=\sqrt{5}-1$. The dimensions are $r^2=R^2(5+\sqrt{5})/10$ and $h^2=2R^2(5-\sqrt{5})/5$.

There is also an eigenvalue proof of global maximality. Set $w=h/2$, so the constraint is $r^2+w^2=R^2$, and write $A/(2\pi )=r^2+2rw$. This quadratic form has symmetric matrix $\left(\begin{array}{cc}1& 1\\ 1& 0\end{array}\right)$ with largest eigenvalue $(1+\sqrt{5})/2$, the golden ratio. Its maximizing eigenvector lies in the positive quadrant, yielding the displayed area and aspect ratio.

Mean curvature measures the average signed bending of a smooth surface. Unlike Gaussian curvature, it adds the two principal curvatures rather than multiplying them. A circular cylinder therefore has nonzero mean curvature despite zero Gaussian curvature, whereas a catenoid has zero mean curvature despite negative Gaussian curvature. The cancellation on a catenoid explains how a curved minimal surface can be stationary for surface area.

Choose a unit normal $N$ and the shape operator $S=-dN$, as in the second fundamental form convention $II(v,w)=⟨Sv,w⟩$. For a smooth surface in Euclidean space of dimension three, define the signed scalar mean curvature byHere $E,F,G$ are the coefficients of the first fundamental form, and $e,f,g$ those of the second fundamental form. The factor $1/2$ makes $H$ an average; the scalar trace convention instead calls $k_1+k_2=2H$ the mean curvature. Authors who use $S=+dN$ reverse both signs. A formula involving mean curvature is therefore incomplete unless its shape operator, unit normal, and averaging convention are specified.

In orientation reversal of surface curvature, both principal curvatures and $H$ change sign, while Gaussian curvature and the mean curvature vector do not. The units of mean curvature are inverse length, compared with inverse squared length for Gaussian curvature. The distinction matters in soap film pressure balance: pressure couples to the sum of the signed principal curvatures.

For a sphere of radius $R>0$, its outward unit normal is $N(p)=p/R$. Applying the shape operator gives $S(v)=-v/R$, so the two principal curvatures coincide:For the lateral surface of a circular cylinder with outward unit normal, moving around a circle turns $N$ at rate $1/R$, while moving along the axis leaves $N$ constant. Thus the circumferential and axial principal curvatures giveHere $K$ is Gaussian curvature. The circular cylinder bends in only one principal direction, so its mean curvature is half that of the equally sized sphere. These formulas concern the smooth lateral surface, excluding any edges where end caps meet it.

The common length scale is $\ell$, equal to the radius $R$ for the sphere and circular cylinder, and to the waist radius $a$ for the catenoid. The mean curvature marker is halfway between the two principal curvature markers. Gaussian curvature has a different unit and is listed separately beneath each panel.

For a regular parametric surface $\mathbf{r}:U\to X$, the displayed surface integral counts each image point as many times as its preimages in $U$, apart from sets of zero surface area. It equals the ordinary integral over the image when the parametrization is injective except on such sets. A periodic parametrization integrated over more than one period can give a different answer from integration over its image set. For example, $(u,v)\mapsto (\cos u,\sin u,v)$ with $0\le u\le 4\pi$ and $0\le v\le 1$ gives parameter area $4\pi$, whereas the image circular cylinder has surface area $2\pi$.

A closed circular cylinder of radius $a>0$ and length $\ell >0$ has volume $\pi a^2\ell$ and total surface area $2\pi a(a+\ell )$, including both end disks. At fixed area $A$, Lagrange multipliers for maximizing the volume give $\ell =2a$, henceEquivalently, eliminate $\ell =A/(2\pi a)-a$ and maximize $(A/2)a-\pi a^3$ on $0<a<\sqrt{A/(2\pi )}$. The derivative changes from positive to negative at the displayed radius, and the volume tends to zero at both ends.

For a cylinder inscribed in a sphere of radius $R$, the constraint is $a^2+{\ell }^2/4=R^2$. Maximizing $a^2+a\ell$ by Lagrange multipliers gives ${\ell }^2+2a\ell =4a^2$, so the positive aspect ratio is $\ell /a=\sqrt{5}-1$. It is independent of $R$. With $q=\ell /a$, the area is $2\pi R^2(1+q)/(1+q^2/4)$; differentiating this expression confirms the unique maximum on $q>0$.

Use instantaneous polar coordinates centered on the moving circular cylinder, but measure the fluid velocity in the laboratory frame. Impermeability equates the normal components of body and fluid velocity:Since ${\mathbf{e}}_x\cdot {\mathbf{e}}_r=\cos \theta$ and $u_r={\varphi }_r$, the no-penetration boundary condition isThe velocity potential obeys the exterior Laplace equation, by incompressibility. The boundary data have only the first cosine harmonic. A decaying harmonic potential of this form is $\varphi =C\cos \theta /r$. Matching its radial derivative gives $-C/a^2=U$, so $C=-U{a}^2$. The zero circulation condition rules out an angular potential term, and the integrated boundary condition gives zero net volume flux, ruling out a radial logarithmic source term. The remaining decaying harmonics have zero coefficients by the boundary data. HenceUsing the streamfunction in polar coordinates, $u_r=r^{-1}{\psi }_{\theta }$, $u_{\theta }=-{\psi }_r$, givesOne may also obtain both functions as the real and imaginary parts of $w(z)=-U{a}^2/z$, a two-dimensional potential doublet. The velocity decays as $r^{-2}$ and the source of this singular representation lies inside the excluded body. These are the fields used to calculate the added mass of a circular cylinder.

On the translating circular cylinder $r=a$, the preceding velocity potential and streamfunction giveUsing the boundary integral for kinetic energy of planar potential flow,ThereforeAs a direct check, $|\mathbf{u}{|}^2=U^2{a}^4/r^4$, and integration over $r>a$ gives the same result.

The fluid kinetic energy has the same dependence on body speed as the kinetic energy of an extra mass $M$ carried by the body. Thus $M$ is its added mass, here equal to the mass of displaced fluid per unit cylinder length. For a cylinder of physical mass per length $m$, the combined kinetic energy is $\frac{1}{2}(m+M)U^2$. Accelerating the body requires accelerating the surrounding fluid, producing the inertial reaction $-M\dot{U}$ along the direction of motion. This is the added mass of a circular cylinder.