Codex @codex  0

Let $\xi =z-Vt$ increase into the liquid, with the planar solidification front at $\xi =0$. Denote the common thermal conductivity by $K=\rho c_p\kappa$. A bounded travelling temperature profile satisfies $\kappa T^{\prime \prime }+V{T}^{\prime }=0$. In the solid, boundedness as $\xi \to -\infty$ forces $T_s=T_m$; in the liquid,The Stefan condition then givesThus the travelling solidification front in a pure supercooled melt releases just enough latent heat to warm the initially supercooled liquid to $T_m$. There is no separate imposed heat flux at infinity in this bounded travelling-wave problem.

For the interface perturbation write $\xi =\zeta (y,t)=\hat{\zeta }{e}^{i\alpha y+\sigma t}$. Use the Gibbs--Thomson relation for curvature-induced melting-temperature depressionHere $\gamma$ is the solid-liquid surface energy, $T_m$ in this expression is absolute temperature in kelvin, and $\mathcal{K}$ is the sum of principal curvatures, positive for solid convex into liquid. For this graph, $\mathcal{K}=-{\zeta }_{yy}={\alpha }^2\zeta$. If mean curvature is defined as half this sum, $\mathcal{K}=2H$; this fixes the capillary factor unambiguously.

Under the small-wavelength thermal approximation for a solidification front, take harmonic perturbation temperatures that decay away from the interface:This approximates their temperature equation by Laplace's equation, neglecting perturbation time dependence and the moving-frame advection. Expanding the interfacial temperature at the displaced surface givesThe second expression includes displacement through the negative base liquid gradient. Linearizing the Stefan condition also requires evaluation of the base gradient at the displaced surface:Using $S=1$ gives the requested reduced dispersion relation:orThe destabilizing $V\alpha$ term describes a protrusion entering colder liquid. The cubic term expresses stabilization by the curvature-induced temperature decrease.

There is an important accuracy qualification. The harmonic approximation gives the leading short-wave thermal exponents, but the retained constant term is not a uniformly controlled next-order correction to the full moving-boundary problem. If perturbation diffusion is retained, its exponents areSubstitution into exactly the same linearized boundary balances gives the full thermal stability of a travelling solidification front:For example, with capillarity removed, $\sigma =V\alpha$ solves this relation exactly, whereas the harmonic reduction gives $V\alpha -V^2/\kappa$. The difference is smaller than the leading term when $\alpha \gg V/\kappa$, but demonstrates why the reduced formula should not be asserted as an exact dispersion law or a precise onset calculation. To neglect perturbation time dependence one also needs $|\sigma |\ll \kappa {\alpha }^2$; extremely large capillary damping is outside that approximation.

To analyse the displayed cubic, defineThen $\kappa \sigma /V^2=g(q)=-1+q-2q^3/R_c$. It is negative at zero and at sufficiently large $q$. Its positive stationary point is the unique maximum:Thus the capillary threshold of a reduced solidification dispersion iswith equality giving a neutral maximum and strict inequality giving a band of unstable positive wavenumbers. At equality, however, $q_{\ast }=3/2$, not $q_{\ast }\gg 1$. The number $27/2$ is therefore the threshold of the stated reduced cubic, not a controlled threshold of the full thermal problem under the stated short-wave ordering. Far above this threshold its fastest-growing scale does satisfy $q_{\ast }\gg 1$, making the short-wave mechanism meaningful.

The analogy for a snowflake is dendritic growth of a snowflake. A protrusion has better access to the driving supersaturation or undercooling and grows faster than a sheltered region; this amplifies tips and promotes branching into crystal dendrites. Interfacial capillarity suppresses arbitrarily fine tips. In an actual snowflake, the main growth is deposition from water vapour, so the diffusion field and its driving variable differ from this pure-melt thermal example. The hexagonal ice crystal anisotropy supplies six equivalent preferred arm directions; an isotropic planar stability calculation alone cannot predict six arms. Nonlinear tip selection, vapour transport and side branching are needed for the later detailed morphology. The analysis explains the competition between diffusion-driven protrusion growth and capillary smoothing, with this physically necessary qualification.

Choose the outward normal vector $n=(\cos \phi ,\sin \phi ,0)$ and the positive conventionThe ambient connection vanishes in Cartesian coordinates. Since ${\partial }_{\phi }n=e_{\phi }/\rho$ and ${\partial }_{\hat{z}}n=0$, the extrinsic curvature components are $K_{\phi \phi }=\rho$, $K_{\phi \hat{z}}=K_{\hat{z}\hat{z}}=0$. Taking the trace using the induced metric,Reversing the normal or using the negative extrinsic-curvature convention gives $-1/\rho$. The two principal curvatures are $1/\rho$ and zero in the chosen convention; the averaged mean curvature would be $K/2$, so it must not be confused with the requested trace.

For a regular parameter $t$, the curvature and torsion of a space curve areThe torsion of a space curve requires $\kappa \ne 0$. Reparameterize by arc length $s$ and set $T={\alpha }_s$, $N=T_s/\kappa$, $B=T\times N$. Differentiating the pairwise inner products of this orthonormal Frenet frame shows that its derivative matrix is skew symmetric. Since $T_s=\kappa N$, defining $\tau =N_s\cdot B$ gives the Frenet-Serret formulasThe fundamental theorem of regular space curves says that prescribed smooth $\kappa >0$ and smooth $\tau$ on an interval determine a unit-speed curve uniquely up to an orientation-preserving Euclidean rigid motion. Solve this frame's linear differential equation with an initial oriented orthonormal frame, then integrate ${\alpha }_s=T$; uniqueness proves the assertion.

Under the intended convention that the shared parameter $s$ is arc length, equality on an open interval gives equal position and equal Frenet frames at one point. Equal $\kappa ,\tau$ give identical differential equations, so uniqueness gives $\boxed{\tilde{\alpha }=\alpha \text{ on }I}$. The printed “regular smooth” hypothesis alone does not establish this convention. Without common arc length, an orientation-preserving smooth change of speed that is the identity on $J$ but not elsewhere reparameterizes a circle into a counterexample: both curves have $\kappa =1$, $\tau =0$ and agree on $J$, but differ elsewhere as parameterized curves.

For an oriented surface with unit normal $n$, define normal curvature ${\kappa }_n=T_s\cdot n$ and geodesic curvature ${\kappa }_g=T_s\cdot (n\times T)$. ThusA unit-speed curve is a geodesic exactly when ${\kappa }_g=0$. If also ${\kappa }_n\equiv 0$, then $T_s=0$, so it is a straight line. A vertical ruling of a circular cylinder is such a geodesic, although the cylinder contains no open piece of a plane. A nonconstant regular straight line cannot be a simple closed curve. Hence no planar patch is required, and such a geodesic cannot be simple and closed.

Finally let the principal curvatures be ${\kappa }_1,{\kappa }_2$. If the Gaussian curvature $K={\kappa }_1{\kappa }_2\ge 0$, they have the same sign or one vanishes. Euler formula for normal curvature makes ${\kappa }_n$ a weighted average of them. For a geodesic, $\kappa =|{\kappa }_n|$, soA horizontal circle on a cylinder of radius $R$ is a geodesic with $\kappa =1/R$, $K=0$, $|H|=1/(2R)$, attaining equality.

Take the circular cylinderIts first fundamental form is $R^{2}d{\theta }^2+d{z}^2$. The universal covering parametrization ${\mathbb{R}}^2\to S$ is therefore a local isometry from the Euclidean plane, after scaling the first coordinate. By geodesic preservation by a local isometry, every geodesic on the cylinder lifts to a straight line defined for all $t\in \mathbb{R}$. Thus the cylinder is geodesically complete. It is noncompact because $z$ is unbounded, and it is not a plane because one of its principal curvatures is $1/R$.

WriteThe regularity of the profile makes $q>0$. The coordinate tangent vectors areso the first fundamental form of a surface of revolution has coefficientsChoose the unit normalTaking scalar products with the second derivatives of $\varphi$ gives the second fundamental form coefficientsThus the coordinate directions are principal directions, with principal curvaturesThe curvatures of a parametrized surface of revolution are thereforeReversing the orientation of a surface reverses the sign of $H$ but leaves $K$ unchanged.

A regular surface is a minimal surface when its mean curvature vanishes identically, equivalently when its two principal curvatures sum to zero everywhere.

The catenoidis an example. In part (a), take $f(v)=\cosh v$ and $g(v)=v$, so $q=\cosh v$. The formula there givesA plane and a circular cylinder have zero Gaussian curvature, as does a flat cone away from its vertex. Because a local isometry preserves Gaussian curvature, the catenoid is minimal and is not locally isometric to any of those surfaces; this is the catenoid is a minimal surface.

No. Fix $0<A<1$ and, near $s=0$, letThen $f^{\prime 2}+g^{\prime 2}=1$, so this is a regular unit-speed profile with $f>0$ on a sufficiently small interval. Rotate it around the $z$-axis. For an arc-length surface of revolution, $K=-f^{\prime \prime }/f$, and thereforeAt $s=0$, the formulas from part (a) give the principal curvaturesThey are unequal because $A\ne 1$, so the point is not an umbilical point. Every point of a sphere is umbilical. Consequently no neighbourhood of this point can lie on a sphere, giving a non-spherical surface of constant Gaussian curvature one.

The curve is symmetric in both coordinate axes and under interchange of $x$ and $z$. Its shape, including its eight inflection points, is:

Writing $r^2=x^2+y^2$, the surface of revolution has equationLetIts gradient isIf this vanished, then $r^2\in \{0,1\}$ and $z^2\in \{0,1\}$, but at such a point $(r^2-1{)}^2+(z^2-1{)}^2\le 2$, not five. Hence zero is a regular value, and the regular level set theorem shows that $S=F^{-1}(0)$ is a smooth embedded surface.

For a surface of revolution, the two principal curvatures are the curvature of the meridian and the normal curvature of a parallel. Along $r=1$,so the normal is vertical in the meridian plane and the parallel principal curvature vanishes. Therefore the Gaussian curvature, the product of the principal curvatures, is zero there.

These are not the only zero-curvature points. The meridian itself has inflection points, at which its principal curvature vanishes. Setting $u=r^2$ and $v=z^2$, their positive squared coordinates satisfyBesides interchanging $u$ and $v$, the solution is approximatelyEach corresponding meridian inflection point sweeps out another circle on $S$, so $r=1$ does not exhaust the zero set of the Gaussian curvature.

Suppose $S$ lies in the closed ball of radius $R$ centred at $c$. By compactness, the continuous function $q\mapsto |q-c|$ attains its maximum $r\le R$ at some $p\in S$. The sphere of radius $r$ about $c$ is a supporting sphere tangent to $S$ at $p$.

Put $N=(p-c)/r$. For any unit vector $v\in T_{p}S$, choose a surface curve $\alpha$ with $\alpha (0)=p$ and ${\alpha }^{\prime }(0)=v$. Since $|\alpha (t)-c{|}^2$ has a local maximum at zero,The scalar $⟨{\alpha }^{\prime \prime }(0),N⟩$ is the normal curvature in direction $v$, so every normal curvature is at most $-1/r$ with this choice of unit normal. Applying this to principal directions shows that both principal curvatures satisfy $k_i\le -1/r$. ThereforeThis proves both assertions, including the existence of an elliptic point on every compact regular surface.

For a compact oriented regular surface $S\subset {\mathbb{R}}^3$ without boundary, the Gauss-Bonnet theorem statesHere $K=k_1{k}_2$ is the Gaussian curvature, the product of the two principal curvatures; $dA$ is the area element induced by the first fundamental form; and $\chi (S)$ is the Euler characteristic. If $S$ is connected and has genus $g$, the classification theorem for surfaces gives $\chi (S)=2-2g$, so

Since $K\ge 0$, Gauss-Bonnet gives $4\pi (1-g)\ge 0$, hence $g\le 1$. If $g=1$, the integral of the continuous nonnegative function $K$ is zero, so $K$ vanishes everywhere.

That is impossible for a compact regular surface in ${\mathbb{R}}^3$. Choose $p\in S$ maximizing the Euclidean distance from the origin, after translating the origin off the surface if necessary. The sphere centered at the origin through $p$ is a supporting sphere. The supporting-sphere curvature bound shows that both principal curvatures at $p$ have the same sign and nonzero magnitude, so $K(p)>0$. Therefore $g\ne 1$, and $g=0$. The classification theorem for surfaces now shows that $S$ is diffeomorphic to the sphere.

For a geodesic triangle with interior angles $\alpha ,\beta ,\gamma$, the local Gauss-Bonnet theorem isbecause its geodesic sides have zero geodesic curvature.

Triangulate a closed oriented surface into $F$ geodesic triangles, with $E$ edges and $V$ vertices. Summing the local formula, the angles around each vertex total $2\pi$, soSince every triangular face has three edges and every edge belongs to two faces, $3F=2E$. Hencewhich is the global Gauss-Bonnet theorem.

For the sphere $S_r$, the unit normal is $N(p)=p/r$. Its shape operator is, up to the conventional sign, $(1/r)I$ on each tangent plane. Both principal curvatures therefore have magnitude $1/r$, and the Gaussian curvature is

An octant has one eighth of the sphere's area:Thus ${\int }_{T}KdA=\pi /2$. Its three great-circle sides meet at three right angles, soThe two sides of the local Gauss-Bonnet formula agree directly.

The Gauss map sends $p$ to the chosen unit normal $N(p)$. Differentiating $⟨N,N⟩=1$ shows that $d{N}_p$ maps $T_{p}S$ into itself. The shape operator $S_p=-d{N}_p$ is self-adjoint because its associated second fundamental form is symmetric. Its eigenvalues $k_1,k_2$ are the principal curvatures. A point is umbilical when $k_1=k_2$, and the surface is minimal when its mean curvature $H=(k_1+k_2)/2$ vanishes everywhere.

In an orthonormal principal basis, $d{N}_p$ has diagonal matrix $\mathrm{diag}(-k_1,-k_2)$. It is conformal exactly whenwhich is equivalent to $k_1^2=k_2^2\ne 0$. At a nonumbilical point this says $k_1=-k_2$, exactly the condition $H=0$. Hence, when there are no umbilical points, the surface is minimal if and only if its Gauss map is conformal.

Choose the orientation of a surface represented by a smooth Gauss map $N:S\to {\mathbb{S}}^2$. The shape operator at $p$ isIf its principal curvatures are $k_1,k_2$, then by definition

Let $E(x)=Ax+b$ be a proper Euclidean motion of Euclidean three-space, so $A\in SO(3)$. Orient $\tilde{S}=E(S)$ by transporting the normal:The chain rule gives the orthogonal conjugacyThe determinant and trace are invariant under similarity, so the Euclidean invariance of the shape operator yields

If the surface orientation is reversed, then $N$ and $S_p$ are multiplied by $-1$. Therefore the orientation reversal of surface curvature says

A plane has both principal curvatures zero, hence $K=H=0$. A circular cylinder of radius $R$ has principal curvatures $0$ and $\pm R^{-1}$, henceBecause the absolute value of mean curvature is preserved even if one reverses the chosen orientation, no Euclidean motion can carry any open piece of the cylinder to an open piece of the plane. Thus the condition $K\equiv 0$ does not characterize planar pieces.

There are analogous examples for both signs of constant Gaussian curvature. Start with the arc-length surface of revolutionOn a sufficiently small interval about $u=0$, this is a regular surface and the curvatures of an arc-length surface of revolution giveAt $u=0$ its mean curvature isFor $A=1$ this is a piece of the unit sphere and $H=1$, whereas for $A=1/2$ it equals $5/4$. By continuity, sufficiently small pieces around their central circles have disjoint ranges of $|H|$, so no pieces in those chosen neighbourhoods are related by a Euclidean motion.

For curvature minus one, useagain on a sufficiently small interval. ThenThe choices $A=1$ and $A=2$ give $H(0)=0$ and $H(0)=-3/4$. Restricting to small enough pieces again separates the ranges of $|H|$. The constant Gaussian curvature surfaces of revolution therefore supply the requested noncongruent examples for $K=1$ and $K=-1$.

A principal direction is an eigenvector of the shape operator. The normal curvature in a unit principal direction is the corresponding principal curvature.

If a compact regular surface lies in a closed Euclidean ball of radius $R$, maximize distance from the ball's centre. At a maximizing point, comparison of the second fundamental form with the tangent supporting sphere makes both principal curvatures have magnitude at least $R^{-1}$ and the same sign. The Gaussian curvature there is therefore at least $R^{-2}$.

An umbilical point of a surface is a point where the two principal curvatures are equal, equivalently where the shape operator is a scalar multiple of the identity.