Helicoidal Surfaces and Their Relationship to Bonnet Surfaces
Abstract: An important question that arises is which surfaces in three-space admit a mean curvature preserving isometry which is not an isometry of the whole space. This leads to a class of surface known as a Bonnet surface in which the number of noncongruent immersions is two or infinity. The intention here is to present a proof of a theorem using an approach which is based on differential forms and moving frames and states that helicoidal surfaces necessarily fall into the class of Bonnet surfaces. Some other results are developed in the same manner.

1. Introduction

Surfaces that admit isometries which preserve principal curvatures have been studied since the time of O. Bonnet  . It was shown by Bonnet that all surfaces with constant mean curvature not including planes and spheres, can be isometrically deformed while preserving mean curvature or equivalently both principal curvatures. Let $\Sigma$ denote the classes of smooth oriented, connected surfaces carrying a Riemannian metric which will be studied here. Let $H:\Sigma \to ℝ$ be a given smooth function, then depending on the surface and the function $H$ , it is possible to find isometric immersions of $\Sigma$ into ${ℝ}^{3}$ such that each image has mean curvature function $H$ . It may be asked how many geometrically distinct, or noncongruent, immersions exists. This question has been studied at various levels both locally and globally. It has been concluded that the number of noncongruent immersions which is denoted here by $N$ , may be $0,1,2$ and $\infty$ . The case in which $N=\infty$ means there exists a one-parameter family of pairwise noncongruent isometric immersions with the same mean curvature function. When $N=2$ or $\infty$ , these surfaces are the so-called Bonnet surfaces. When $N=0$ or 1, there are many well-known surfaces, so all of these numbers can be realized.

Some of the global results that have been reported up to this point should be reviewed first. 1) If $H$ is constant and there is an isometric immersion of $\Sigma$ into ${ℝ}^{3}$ of mean curvature $H$ which is not a plane or sphere, then there is an isometric deformation of $\Sigma$ through noncongruent surfaces with the same constant mean curvature, $H$ . 2) If $\Sigma$ is compact and $H$ is nonconstant, there exists at most two geometrically distinct immersions of $\Sigma$ in ${ℝ}^{3}$ with mean curvature $H$ , so $N=0,1$ or 2. If $\Sigma$ is homeomorphic to ${S}^{2}$ , the 2-sphere, there is at most one isometric immersion, and $N$ is 0 or 1. 3) If $\Sigma$ is a helicoidal surface in ${ℝ}^{3}$ , then $N=2$ or $\infty$ . 4) If the Gaussian curvature $K$ of $\Sigma$ is a nonzero constant, and the mean curvature $H$ is nonconstant, then $N=0,1$ or 2.

The surfaces in Euclidean space that admit a mean curvature preserving isometry which is not an isometry of the whole space form a special class of surface which has been studied by many people such as noted already Bonnet as well as Cartan and Chern    . These surfaces may be broken up into three classes or types which can be described as follows: 1) There are surfaces of constant mean curvature other than the plane or sphere 2) There are certain surfaces of nonconstant mean curvature which admit a one-parameter family of geometrically distinct nontrivial isometries, and finally 3) There are surfaces of nonconstant mean curvature that admit a single nontrivial isometry which is unique up to an isometry of the entire space.

A surface that belongs to one of the above types is called a Bonnet surface, that is, an $N=2,\infty$ type mentioned above    . By a nontrivial isometry of the surface is meant an isometry of the entire space. A helicoidal surface in Euclidean three-space ${E}^{3}$ is the locus of an appropriately chosen curve under a helicoidal motion, with so-called pitch in the interval $\left(0,\infty \right)$   . Such a motion can be described by a one-parameter group of isometries in ${E}^{3}$ . The actual orbits of the motion through the initial curve foliate the surface.

The intention here is to prove that the helicoidal surfaces are necessarily Bonnet surfaces, and moreover represent all three types of surface outlined above. Although not all the theorems presented here are new, the objective is to present new proofs based on the systematic use of differential forms and the moving frame concept  . This type of result is useful to have since it provides an answer, in the negative, to conjectures such as the following: Let $S$ be a Riemannian surface and $H:S\to ℝ$ a smooth function. If a nontrivial family of isometric immersions with mean curvature function $H$ does not exist, then there must be at most two noncongruent ones. Then it may be conjectured: In the absence of a nontrivial family, the immersion must be unique. On the other hand, it seems that not all Bonnet surfaces of the third type are helicoidal surfaces. A helicoidal surface is determined by one real-valued function of one variable, whereas a Bonnet surface of the third kind depends on four functions of one variable and therefore has a greater degree of generality  .

2. Structure Equations

Over $\Sigma$ there exists a system of orthonormal frames $\left\{x,{e}_{1},{e}_{2},{e}_{3}\right\}$ which is well defined such that $x\in \Sigma$ , ${e}_{3}$ is the unit normal at $x$ and ${e}_{1}$ , ${e}_{2}$ located along principal directions. The fundamental equations for a surface have the form  ,

$\text{d}x={\omega }_{1}{e}_{1}+{\omega }_{2}{e}_{2},\text{ }\text{d}{e}_{1}={\omega }_{12}{e}_{2}+{\omega }_{13}{e}_{3},\text{ }\text{d}{e}_{2}=-{\omega }_{12}{e}_{1}+{\omega }_{23}{e}_{3},\text{ }\text{d}{e}_{3}=-{\omega }_{13}{e}_{1}-{\omega }_{23}{e}_{2}.$ (2.1)

These equations can be differentiated exteriorly in turn and results in a large system of equations for the exterior derivatives of the ${\omega }_{i}$ and ${\omega }_{ij}$ , as well as a final equation which relates some of the forms. This choice of frame and Cartan’s lemma allows for the introduction of the two principal curvatures at $x$ which are denoted by $a$ and $c$ by writing

${\omega }_{12}=h{\omega }_{1}+k{\omega }_{2},\text{ }\text{ }{\omega }_{13}=a{\omega }_{1},\text{ }\text{ }{\omega }_{23}=c{\omega }_{2}.$ (2.2)

It suffices to suppose that $a>c$ in the following and the mean curvature of $\Sigma$ will be denoted by $H$ and the Gaussian curvature is denoted by $K$ . They are defined in terms of the functions $a$ and $c$ to be

$H=\frac{1}{2}\left(a+c\right),\text{ }\text{ }K=a\cdot c.$ (2.3)

The forms which appear in (2.1) satisfy the fundamental set of structure equations

$\begin{array}{l}\begin{array}{ll}\text{d}{\omega }_{1}={\omega }_{12}\wedge {\omega }_{2},\hfill & \text{d}{\omega }_{2}={\omega }_{1}\wedge {\omega }_{12},\hfill \\ \text{d}{\omega }_{13}={\omega }_{12}\wedge {\omega }_{23},\hfill & \text{d}{\omega }_{23}={\omega }_{13}\wedge {\omega }_{12},\hfill \end{array}\\ \text{d}{\omega }_{12}=ac\text{ }{\omega }_{2}\wedge {\omega }_{1}=-K{\omega }_{1}\wedge {\omega }_{2}.\end{array}$ (2.4)

The second pair of equations in (2.4) is referred to as the Codazzi equation and the last equation is called the Gauss equation.

Exterior differentiation of the Codazzi equations in (2.4) and using (2.2) yields

$\left(\text{d}a-\left(a-c\right)h{\omega }_{2}\right)\wedge {\omega }_{1}=0,\text{ }\text{ }\left(\text{d}c-\left(a-c\right)k{\omega }_{1}\right)\wedge {\omega }_{2}=0.$ (2.5)

Now Cartan’s lemma can be applied to (2.5). There exist two functions $u$ and $v$ such that

$\frac{1}{a-c}\text{ }\text{d}a-h{\omega }_{2}=\left(u-k\right){\omega }_{1},\text{ }\text{ }\frac{1}{a-c}\text{ }\text{d}c-k{\omega }_{1}=\left(v-h\right){\omega }_{2}.$ (2.6)

Subtracting the pair of equations in (2.6) gives an expression for $\text{d}log\left(a-c\right)$ ,

$\text{d}\mathrm{log}\left(a-c\right)=\left(u-2k\right){\omega }_{1}-\left(v-2h\right){\omega }_{2}.$ (2.7)

It is natural from (2.7) to define a new variable $J$ in terms of $a$ and $a$ Math_76# as

$J=\frac{1}{2}\left(a-c\right)>0.$ (2.8)

Equation (2.7) can then be put in the form,

$\text{d}\text{ }\mathrm{log}J=\left(u-2k\right){\omega }_{1}-\left(v-2h\right){\omega }_{2}.$ (2.9)

The differential forms ${\omega }_{i}$ constitute a linearly independent system. Two related coframes ${\vartheta }_{i}$ and ${\alpha }_{i}$ can be defined in terms of the ${\omega }_{i}$ and the functions $u$ and $v$ as follows

$\begin{array}{cc}{\vartheta }_{1}=u{\omega }_{1}+v{\omega }_{2},& {\vartheta }_{2}=-v{\omega }_{1}+u{\omega }_{2},\\ {\alpha }_{1}=u{\omega }_{1}-v{\omega }_{2},& {\alpha }_{2}=v{\omega }_{1}+u{\omega }_{2}.\end{array}$ (2.10)

These relations imply that ${\vartheta }_{1}=0$ is tangent to the level curves which are singled out by setting $H$ equal to a constant and ${\alpha }_{1}=0$ is its symmetry with respect to the original directions.

The relation $2H=a+c$ is squared and subtracting the definition of the Gaussian curvature, $4K=4ac$ yields the result $4\left({H}^{2}-K\right)={\left(a-c\right)}^{2}$ . The Hodge operator, denoted here by $*$ , will play an important role in the following. It produces the following result on the basis forms ${\omega }_{i}$ in (2.2),

$*{\omega }_{1}={\omega }_{2},\text{ }\text{ }*{\omega }_{2}=-{\omega }_{1},\text{ }\text{ }{*}^{2}=-1.$

From these properties, the dual relations can be determined as

$*{\vartheta }_{1}=u{\omega }_{2}-v{\omega }_{1}={\vartheta }_{2},\text{ }\text{ }*{\vartheta }_{2}=-v{\omega }_{2}-u{\omega }_{1}=-{\vartheta }_{1},$ (2.11)

$*{\alpha }_{1}=u{\omega }_{2}+v{\omega }_{1}={\alpha }_{2},\text{ }\text{ }*{\alpha }_{2}=v{\omega }_{2}-u{\omega }_{1}=-{\alpha }_{1}.$

Moreover, adding the expressions for $\text{d}a$ and $\text{d}c$ given by (2.6), we obtain

$\frac{1}{a-c}\left(\text{d}a+\text{d}c\right)=\left(u-k\right){\omega }_{1}+h{\omega }_{2}+\left(v-h\right){\omega }_{2}+k{\omega }_{1}=u{\omega }_{1}+v{\omega }_{2}={\vartheta }_{1}.$ (2.12)

Finally, there is the relation,

${\alpha }_{1}+2*{\omega }_{12}=u{\omega }_{1}-v{\omega }_{2}+2*\left(h{\omega }_{1}+k{\omega }_{2}\right)=\left(u-2k\right){\omega }_{1}-\left(v-2h\right){\omega }_{2}=d\mathrm{log}J.$ (2.13)

Therefore, the Codazzi Equations (2.12) and (2.13) can be summarized in terms of the two functions $H$ and $J$ as follows,

$dH=J{\vartheta }_{1},\text{ }\text{ }d\mathrm{log}J={\alpha }_{1}+2*{\omega }_{12}.$ (2.14)

3. Bonnet Surfaces

Suppose that ${\Sigma }^{*}$ is a surface which is isometric to $\Sigma$ such that the principal curvatures are preserved under the transformation. Denote all quantities which pertain to ${\Sigma }^{*}$ by the same symbols, but with an asterisk,

${a}^{*}=a,\text{ }\text{ }{c}^{*}=c.$ (3.1)

The same convention will be applied to the variables and forms which pertain to $\Sigma$ and ${\Sigma }^{*}$ . When $\Sigma$ and ${\Sigma }^{*}$ are isometric, the forms ${\omega }_{i}$ on $\Sigma$ are related to the forms ${\omega }_{i}^{*}$ on ${\Sigma }^{*}$ by means of the transformation

${\omega }_{1}^{*}=\mathrm{cos}\tau \text{ }{\omega }_{1}-\mathrm{sin}\tau \text{ }{\omega }_{2},\text{ }\text{ }{\omega }_{2}^{*}=\mathrm{sin}\tau \text{ }{\omega }_{1}+\mathrm{cos}\tau \text{ }{\omega }_{2}.$ (3.2)

The following theorem from  will be required.

Theorem 3.1: Under the transformation of coframe given in (3.2), the associated connection forms are related by

${\omega }_{12}^{*}={\omega }_{12}-\text{d}\tau .$ (3.3)

There is a very important result which can be developed at this point. In the case that $a={a}^{*}$ and $c={c}^{*}$ , the Codazzi equations imply that

${\alpha }_{1}+2*{\omega }_{12}=\text{d}\text{ }\mathrm{log}\left(a-c\right)=\text{d}\text{ }\mathrm{log}\left({a}^{*}-{c}^{*}\right)={\alpha }_{1}^{*}+2*{\omega }_{12}^{*}.$

Now apply the operator $*$ to both sides of this equation to give,

${\alpha }_{2}-2{\omega }_{12}={\alpha }_{2}^{*}-2{\omega }_{12}^{*}.$

Substituting for ${\omega }_{12}^{*}$ from Theorem 3.1, this assumes the form,

$2\text{d}\tau ={\alpha }_{2}-{\alpha }_{2}^{*}.$ (3.4)

Define ${H}_{1}$ and ${H}_{2}$ to be the derivatives of the function $H$ in directions such that $\text{d}H$ can be expanded as

$\text{d}H={H}_{1}{\omega }_{1}+{H}_{2}{\omega }_{2}.$

Since $dH=J{\vartheta }_{1}$ and using ${\vartheta }_{1}$ given by (2.10), Equation (2.13) produces

$u{\omega }_{1}+v{\omega }_{2}=\frac{{H}_{1}}{J}{\omega }_{1}+\frac{{H}_{2}}{J}{\omega }_{2},$

Comparing coefficients of ${\omega }_{1}$ and ${\omega }_{2}$ on both sides, we can identify

$u=\frac{{H}_{1}}{J},\text{ }\text{ }v=\frac{{H}_{2}}{J}.$

This result implies that

${\alpha }_{1}=\frac{{H}_{1}}{J}{\omega }_{1}-\frac{{H}_{2}}{J}{\omega }_{2},\text{ }\text{ }{\alpha }_{2}=\frac{{H}_{2}}{J}{\omega }_{1}+\frac{{H}_{1}}{J}{\omega }_{2}.$ (3.5)

Since ${\alpha }_{2}^{*}=\mathrm{sin}\left(2\tau \right){\alpha }_{1}+\mathrm{cos}\left(2\tau \right){\alpha }_{2}$ , it follows from (3.4) that

${\alpha }_{2}-\text{d}\left(2\tau \right)=\mathrm{sin}\left(2\tau \right){\alpha }_{1}+\mathrm{cos}\left(2\tau \right){\alpha }_{2}.$

Solving this for $\text{d}\left(2\tau \right)$ and substituting for ${\alpha }_{1}$ and ${\alpha }_{2}$ , it follows that

$\begin{array}{c}\text{d}\left(2\tau \right)=\left(1-\mathrm{cos}\left(2\tau \right)\right){\alpha }_{2}-\mathrm{sin}\left(2\tau \right){\alpha }_{1}\\ =-\mathrm{sin}\left(2\tau \right)\left(\frac{{H}_{1}}{J}{\omega }_{1}-\frac{{H}_{2}}{J}{\omega }_{2}\right)-\mathrm{cos}\left(2\tau \right)\left(\frac{{H}_{2}}{J}{\omega }_{1}+\frac{{H}_{1}}{J}{\omega }_{2}\right)+{\alpha }_{2}\\ =-\mathrm{sin}\left(2\tau \right)\left(\frac{{H}_{1}}{J}{\omega }_{1}-\frac{{H}_{2}}{J}{\omega }_{2}\right)-\mathrm{cos}\left(2\tau \right)\left(\frac{{H}_{2}}{J}{\omega }_{1}+\frac{{H}_{1}}{J}{\omega }_{2}\right)+*{\alpha }_{1}.\end{array}$

Therefore, using the second equation of (2.14) for ${\alpha }_{1}$ implies that

$\text{d}\left(2\tau \right)=-\mathrm{sin}\left(2\tau \right)\left(\frac{{H}_{1}}{J}{\omega }_{1}-\frac{{H}_{2}}{J}{\omega }_{2}\right)-\mathrm{cos}\left(2\tau \right)\left(\frac{{H}_{2}}{J}{\omega }_{1}+\frac{{H}_{1}}{J}{\omega }_{2}\right)+*\text{d}\text{ }\mathrm{log}J+2{\omega }_{12}.$ (3.6)

The differential in (3.6) will play a role in the study of helicoidal surfaces.

4. Helicoidal Surfaces

Every helicoidal surface can be parametrized in terms of two parameters $\left(s,t\right)$ , where $t$ can be thought of as time along orbits from a fixed $t={t}_{0}$ , and $s$ is an arc-length of curves orthogonal to orbits. Then the curves $t=c$ are carried along the orbits by the helicoidal motion for $c$ constant. They remain orthogonal to the orbits and foliate the surface. An orthonormal frame ${e}_{1}$ , ${e}_{2}$ is determined along these coordinate curves. The corresponding coframe may be written as

${\omega }_{1}=\text{ }\text{d}s,\text{ }\text{ }{\omega }_{2}=q\left(s\right)\text{ }\text{d}t,$ (4.1)

where $q$ depends only on $s$ . Since $\text{d}{\omega }_{1}=0$ , the equation $\text{d}{\omega }_{1}={\omega }_{12}\wedge {\omega }_{2}$ implies that ${\omega }_{12}$ is proportional to $\text{d}t$ , say $f\text{d}t$ and $\text{d}{\omega }_{2}=\text{d}s\wedge {\omega }_{12}=f\text{ }\text{d}s\wedge \text{d}t$ implies that

${q}^{\prime }\left(s\right)\text{ }\text{d}s\wedge \text{d}t=f\text{ }\text{d}s\wedge \text{d}t,$

so,

${\omega }_{12}={q}^{\prime }\left(s\right)\text{d}t=\frac{{q}^{\prime }\left(s\right)}{q\left(s\right)}\text{ }{\omega }_{2}.$ (4.2)

Hence, the ${\omega }_{1}$ -curves are geodesics, and the ${\omega }_{2}$ -curves or orbits, have geodesic curvature equal to

$\mu \left(s\right)=\frac{\text{d}}{\text{d}s}\text{ }log\left(|q\left(s\right)|\right).$ (4.3)

Thus along each orbit, the quantities $a$ , $c$ , $\mu$ and $\tau$ are constant and depend only on $s$ . In this case, the derivative ${H}_{2}=0$ . Also for the same reason, the differential form $\text{d}J={J}_{1}{\omega }_{1}+{J}_{2}{\omega }_{2}$ of $J$ implies that ${J}_{2}=0$ , hence

$\text{d}\text{ }\mathrm{log}J=\left(\frac{{J}_{1}}{J}\right)\text{ }{\omega }_{1}.$ (4.4)

Hence, the equation for $\text{d}\left(2\tau \right)$ in (3.6) takes the form

$\text{d}\left(2\tau \right)=-\mathrm{sin}\left(2\tau \right)\frac{{H}_{1}}{J}{\omega }_{1}-\mathrm{cos}\left(2\tau \right)\frac{{H}_{1}}{J}{\omega }_{2}+*\frac{{J}_{1}}{J}{\omega }_{1}+2\mu \left(s\right){\omega }_{2},$

that is,

$\text{d}\left(2\tau \right)=-\mathrm{sin}\left(2\tau \right)\frac{{H}_{1}}{J}{\omega }_{1}-\mathrm{cos}\left(2\tau \right)\frac{{H}_{1}}{J}{\omega }_{2}+\frac{{J}_{1}}{J}{\omega }_{2}+2\mu \left(s\right){\omega }_{2}.$ (4.5)

Writing $\text{d}\left(2\tau \right)$ as a differential form in terms of $\text{d}s$ and $\text{d}t$ and then equating coefficients of $\text{d}s$ and $\text{d}t$ on both sides of (4.5) yields the following pair of equations,

$\frac{\text{d}\left(2\tau \right)}{\text{d}s}=-\mathrm{sin}\left(2\tau \right){J}^{-1}\frac{\text{d}H}{\text{d}s},\text{ }\text{ }2\mu \left(s\right)=\mathrm{cos}\left(2\tau \right){J}^{-1}{H}_{1}-{J}^{-1}{J}_{1}.$ (4.6)

The results in (4.6) are used in the proof of Theorem 5.2 which follows.

5. Main Theorems and Proofs

Now by what has been established so far, both functions $a$ and $c$ depend on the variable $s$ , so this mapping is an isometry which preserves $H$ , since $H$ is the average of $a$ and $c$ . In general, an isometry is trivial if and only if it preserves the mean curvature and the principal directions. In this case, the above mapping is trivial if and only if $\tau$ is a multiple of $\text{π}/2$ . Then we obtain that the orbits are plane curves. But this is impossible for a helicoidal surface. This proves the following result.

Theorem 5.1. For a helicoidal surface, the mapping $\left(s,t\right)\to \left(s,-t\right)$ is a nontrivial isometry which preserves the mean curvature $H$ .

To prove the second theorem, the following result due to Chern is required   .

Proposition 5.1. (Chern) A surface $M$ admits a nontrivial isometric deformation that keeps the principal curvatures fixed if and only if

$\text{d}{\alpha }_{1}=0,\text{ }\text{ }\text{d}{\alpha }_{2}={\alpha }_{1}\wedge {\alpha }_{2}.$

Theorem 5.2. A helicoidal surface is a Bonnet surface of the second type if and only if the following relation is satisfied,

$\frac{\text{d}}{\text{d}s}\left(\frac{1}{J}\frac{\text{d}H}{\text{d}s}\right)-{\left(\frac{1}{J}\frac{\text{d}H}{\text{d}s}\right)}^{2}\left(\mathrm{cos}\phi \left(s\right)\right)+\frac{1}{J}\frac{\text{d}H}{\text{d}s}\frac{\text{d}\mathrm{log}|q\left(s\right)|}{\text{d}s}=0.$ (5.1)

with $H=H\left(s\right)$ nonconstant.

Proof: Set $\phi =2\tau$ and consider the principal coframe

${\omega }_{1}=\mathrm{cos}\phi \left(s\right)\text{ }\text{d}s+\mathrm{sin}\phi \left(s\right)q\left(s\right)\text{ }\text{d}t,\text{ }\text{ }{\omega }_{2}=-\mathrm{sin}\phi \left(s\right)\text{d}s+\mathrm{cos}\phi \left(s\right)q\left(s\right)\text{ }\text{d}t.$ (5.2)

Define ${H}_{1}$ and ${H}_{2}$ as the coefficients in the differential $\text{d}H$ by putting $\text{d}H={H}_{1}{\omega }_{1}+{H}_{2}{\omega }_{2}$ and let ${\alpha }_{1}$ and ${\alpha }_{2}$ be given by (3.5). Next we substitute ${\alpha }_{1}$ and ${\alpha }_{2}$ into the equations which appear in Chern’s result given in Proposition 5.1. Since ${H}_{2}=0$ in the $\left(\text{d}s,\text{d}t\right)$ basis of forms, it follows that

$\begin{array}{c}\text{d}{\alpha }_{1}=\text{d}\left(\frac{{H}_{1}}{J}\right)\wedge {\omega }_{1}+\frac{{H}_{1}}{J}\text{ }\text{d}{\omega }_{1}=\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right)\text{ }\text{d}s\wedge {\omega }_{1}+\frac{{H}_{1}}{J}\frac{\text{d}}{\text{d}s}\left(\mathrm{sin}\phi \left(s\right)q\left(s\right)\right)\text{ }\text{d}s\wedge \text{d}t\\ =\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right)\mathrm{sin}\phi q\left(s\right)\text{ }\text{d}s\wedge \text{d}t+\frac{{H}_{1}}{J}\left(\mathrm{cos}\phi \frac{\text{d}\phi }{\text{d}s}q+\mathrm{sin}\phi \frac{\text{d}q}{\text{d}s}\right)\text{ }\text{d}s\wedge \text{d}t.\end{array}$

Since the first equation is $\text{d}{\alpha }_{1}=0$ , this implies that

$\frac{{H}_{1}}{J}\left(cos\phi \left(s\right)\frac{\text{d}\phi }{\text{d}s}\right)=-\frac{{H}_{1}}{J}sin\phi \left(s\right)\frac{\text{d}}{\text{d}s}log|q\left(s\right)|-\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right)sin\phi .$ (5.3)

Similarly, using (3.5), we have

$\begin{array}{c}\text{d}{\alpha }_{2}=\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right)\text{ }\text{d}s\wedge {\omega }_{2}+\frac{{H}_{1}}{J}\text{ }\text{d}{\omega }_{2}\\ =\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right)\mathrm{cos}\phi \left(s\right)\text{ }q\left(s\right)\text{ }\text{d}s\wedge \text{d}t+\frac{{H}_{1}}{J}\frac{\text{d}}{\text{d}s}\left(\mathrm{cos}\phi \left(s\right)q\left(s\right)\right)\text{ }\text{d}s\wedge \text{d}t,\end{array}$

${\alpha }_{1}\wedge {\alpha }_{2}={\left(\frac{{H}_{1}}{J}\right)}^{2}q\left(s\right)\text{d}s\wedge \text{d}t.$

Equating these two results as in the second of Chern’s two equations, we obtain

$\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right)\mathrm{cos}\phi \left(s\right)-\frac{{H}_{1}}{J}\mathrm{sin}\phi \left(s\right)\frac{\text{d}\phi }{\text{d}s}+\frac{{H}_{1}}{J}\mathrm{cos}\phi \left(s\right)\frac{\text{d}}{\text{d}s}\mathrm{log}|q\left(s\right)|={\left(\frac{{H}_{1}}{J}\right)}^{2}.$ (5.4)

Multiplying (5.3) by $sin\phi$ and (5.4) by $cos\phi$ , it is found that the folowing hold:

$\frac{{H}_{1}}{J}\left(\mathrm{sin}\phi \mathrm{cos}\phi \frac{\text{d}\phi }{\text{d}s}\right)=-\frac{{H}_{1}}{J}{\mathrm{sin}}^{2}\phi \frac{\text{d}}{\text{d}s}\mathrm{log}|q\left(s\right)|-\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right){\mathrm{sin}}^{2}\phi ,$

${\mathrm{cos}}^{2}\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right)-\frac{{H}_{1}}{J}\left(\mathrm{cos}\phi \mathrm{sin}\phi \frac{\text{d}\phi }{\text{d}s}\right)+\frac{{H}_{1}}{J}{\mathrm{cos}}^{2}\phi \frac{\text{d}}{\text{d}s}\mathrm{log}|q\left(s\right)|={\left(\frac{{H}_{1}}{J}\right)}^{2}\mathrm{cos}\phi .$

Adding these two equations, the desired result is obtained,

$\frac{\text{d}}{\text{d}s}\left(\frac{{H}_{1}}{J}\right)-{\left(\frac{{H}_{1}}{J}\right)}^{2}\mathrm{cos}\phi \left(s\right)+\frac{{H}_{1}}{J}\frac{\text{d}}{\text{d}s}\mathrm{log}|q\left(s\right)|=0.$ (5.5)

Replacing ${H}_{1}$ by $\text{d}H/\text{d}s$ in (5.5), equation (5.1) follows. $\square$

Multiply (5.5) by $q\left(s\right)sin\phi \left(s\right)$ to obtain,

$J\text{ }\frac{\text{d}}{\text{d}s}\left({J}^{-1}\frac{\text{d}H}{\text{d}s}\right)\mathrm{sin}\phi q\left(s\right)-\frac{\text{d}H}{\text{d}s}\mathrm{cos}\phi \mathrm{sin}\phi \frac{\text{d}H}{\text{d}s}{J}^{-1}q+\frac{\text{d}H}{\text{d}s}\mathrm{sin}\phi \frac{\text{d}q}{\text{d}s}=0.$ (5.6)

Substituting the derivative for $2\tau$ into (5.6), it becomes,

$J\frac{\text{d}}{\text{d}s}\left({J}^{-1}\frac{\text{d}H}{\text{d}s}\right)\mathrm{sin}\phi q\left(s\right)+\frac{\text{d}H}{\text{d}s}\mathrm{cos}\phi \frac{\text{d}\phi }{\text{d}s}q\left(s\right)+\frac{\text{d}H}{\text{d}s}\mathrm{sin}\phi \frac{\text{d}q}{\text{d}s}=0.$

By means of the product rule, this can be put in the form,

$\frac{\text{d}}{\text{d}s}\left[\frac{1}{J}\frac{\text{d}H}{\text{d}s}\mathrm{sin}\phi \left(s\right)\text{ }q\left(s\right)\right]=0.$ (5.7)

This is trivial to integrate, so if $C$ is the integration constant, we obtain that

$\frac{1}{J}\frac{\text{d}H}{\text{d}s}\mathrm{sin}\phi \left(s\right)\cdot q\left(s\right)=C,$ (5.8)

with $H=H\left(s\right)$ nonconstant.

Since this relation may be viewed as an ordinary differential equation for the real-valued function which determines the helicoidal surface under helicoidal motion, the existence of such a surface is guaranteed by the local existence uniqueness theorem for solutions of such an ordinary differential equation.

From the first equation of (4.6) and the fact that the space curvature of orbits

is either ${\left[{\mu }^{2}+{\left(a\left({\mathrm{cos}}^{2}\sigma \right)+c\left({\mathrm{sin}}^{2}\sigma \right)\right)}^{2}\right]}^{1/2}$ or this with $sin-\mathrm{cos}$ interchanged,

the last result follows.

Theorem 5.3. A helicoidal surface has constant mean curvature if and only if its principal directions make an angle constant with the orbits.

Combining all of these results, the main result of this work can be stated in the form of the following Theorem.

Theorem 5.4. The helicoidal surfaces are necessarily Bonnet surfaces and they represent all three types of surface.

A conclusion that follows from these results then is an interesting new geometric characterization of such surfaces. Thus, a helicoidal surface has constant mean curvature if and only if its principal directions make an angle which is constant with the orbits.

Finally, it will be proved that for any surface of revolution in ${ℝ}^{3}$ which has nonconstant mean curvature function $H$ it holds that either $N=1$ or $N=\infty$ .

Let $x=r\left(z\right)>0$ be a plane curve in the $x-z$ plane and form the surface of revolution

$r\left(z,\vartheta \right)=\left(r\left(z\right)\mathrm{cos}\vartheta ,r\left(z\right)\mathrm{sin}\vartheta ,z\right),\text{ }\text{ }-\infty <\vartheta <\infty .$ (5.9)

The principal curvatures are calculated to be

$a=-\frac{{r}_{zz}}{{\left[{r}_{z}^{2}+1\right]}^{3/2}},\text{ }\text{ }c=\frac{1}{r{\left[{r}_{z}^{2}+1\right]}^{3/2}}.$ (5.10)

If $a=c$ at $p\in r\left(z,\vartheta \right)$ , of course the entire parallel through $p$ consists of umbilic points, so $N=1$ . Here ${r}_{z}$ denotes the derivative of $r\left(z\right)$ with respect to $z$ .

Theorem 5.5: Surfaces of revolution with nonconstant mean curvature that admit a one-parameter family of geometrically distinct nontrivial isometries preserving principal curvatures $a,c$ are exactly those for which the function $x=r\left(z\right)$ satisfies a specific fourth order differential equation in $z$ .

Proof: For the surface of revolution of the form (5.9), the principal coframe is given by

${\omega }_{1}=\sqrt{{r}_{z}^{2}+1},\text{ }\text{ }{\omega }_{2}=r\left(z\right)\text{ }\text{d}\vartheta .$ (5.11)

Since principal curvatures $a$ and $c$ in (5.10) depend only on $z$ and not on $\vartheta$ , the first equation of (2.14) implies that

${\left(a+c\right)}_{z}\text{ }\text{d}z=\left(a-c\right)\left(u\text{ }\sqrt{{r}_{z}^{2}+1}\text{ }\text{d}z-v\text{ }r\left(z\right)\text{ }\text{d}\vartheta \right).$ (5.12)

Equating the coefficients of the differentials $\text{d}z$ and $\text{d}\vartheta$ on both sides gives $u$ and $v$ ,

$u=\frac{{\left(a+c\right)}_{z}}{\left(a-c\right)\sqrt{{r}_{z}^{2}+1}},\text{ }\text{ }v=0.$ (5.13)

Then the forms ${\alpha }_{1}$ and ${\alpha }_{2}$ can be calculated from (2.10),

${\alpha }_{1}=\frac{{\left(a+c\right)}_{z}}{\left(a-c\right)}\text{ }\text{ }\text{d}z,\text{ }\text{ }{\alpha }_{2}=\frac{{\left(a+c\right)}_{z}r\left(z\right)}{\left(a-c\right)\sqrt{{r}_{z}^{2}+1}}\text{ }\text{d}\vartheta .$ (5.14)

Substituting (5.14) into the differential expressions of Proposition 5.1, it is clear that $\text{d}{\alpha }_{1}=0$ must always hold since the coefficient of ${\alpha }_{1}$ depends only on $z$ and $\text{d}z\wedge \text{d}z=0$ . To develope the second equation of the pair, we calculate

$\text{d}{\alpha }_{2}={\left[\frac{{\left(a+c\right)}_{z}}{\left(a-c\right)\sqrt{{r}_{z}^{2}+1}}r\left(z\right)\right]}_{z}\text{ }\text{d}z\wedge \text{d}\vartheta ,\text{ }\text{ }{\alpha }_{1}\wedge {\alpha }_{2}=\frac{{\left[{\left(a+c\right)}_{z}\right]}^{2}}{{\left(a-c\right)}^{2}}\text{ }\frac{r\left(z\right)}{\sqrt{{r}_{z}^{2}+1}}\text{ }\text{d}z\wedge \text{d}\vartheta .$ (5.15)

Equating these two expressions, the following fourth-order differential equa- tion for $r\left(z\right)$ is obtained,

${\left[\frac{{\left(a+c\right)}_{z}}{\left(a-c\right)\sqrt{{r}_{z}^{2}+1}}r\left(z\right)\right]}_{z}=\frac{{\left[{\left(a+c\right)}_{z}\right]}^{2}}{{\left(a-c\right)}^{2}}\text{ }\frac{r\left(z\right)}{\sqrt{{r}_{z}^{2}+1}}.$ (5.16)

In (5.16), the principal curvatures $a$ and $c$ are given in (5.10), and since $a$ contains second derivatives of $r$ with respect to $z$ , equation (5.16) will be a fourth order equation in $z$ . This is the equation mentioned in the Theorem. $\square$

Cite this paper: Bracken, P. (2017) Helicoidal Surfaces and Their Relationship to Bonnet Surfaces. Advances in Pure Mathematics, 7, 31-40. doi: 10.4236/apm.2017.71003.
References

   Bonnet, O. (1867) Mémoire sur la theorie des surfaces applicables sur une surface donnée. J. l'école Pol., Paris, XLII Cahier, 72-92.

   Cartan, é. (1942) Sur les couples de surface applicables avec conservation des courbures principales. Bull. Sc. Math., 66, 55-85.

   Chern, S.S. (1955) An Elementary Proof of the Existence of Isothermal Parameters on a Surface. Proceedings of the American Mathematical Society, 6, 771-782.
https://doi.org/10.1090/s0002-9939-1955-0074856-1

   Chern, S.S. (1985) Deformation of Surfaces Preserving Principal Curvatures. In: Rauch, H.E., Ed., Differential Geometry and Complex Analysis, Springer, Berlin, 155-163.
https://doi.org/10.1007/978-3-642-69828-6_10

   Roussos, I.M. (1999) Global Results on Bonnet Surfaces. Journal of Geometry, 65, 151-168.
https://doi.org/10.1007/BF01228686

   Bracken, P. (2008) Cartan’s Theory of Moving Frames and an Application to a Theorem of Bonnet. Tensor, 70, 261-274.

   Bracken, P. (2017) An Intrinsic Characterization of Bonnet Surfaces Based on a Closed Differential Ideal. Manifolds-Current Research Areas, ed. P. Bracken, Intech Open Science Press, 21-43.
https://doi.org/10.1155/2014/715679

   Roussos, I.M. (1988) The Helicoidal Surfaces as Bonnet Surfaces. Tohoku Mathematical Journal, Second Series, 40, 485-490.

   Roussos, I.M. (1987) Principal Curvature Preserving Isometries of Surfaces in Ordinary Space. Boletim da Sociedade Brasileira de Matemática, 18, 95-105.
https://doi.org/10.1007/BF02590026

   Bobenko, A. and Eitner, U. (1998) Bonnet Surfaces and Painlevé Equations. Journal für die reine und angewandte Mathematik, 499, 47-79.
https://doi.org/10.1515/crll.1998.061

   Chern, S.S., Chen, W.H. and Lam, K.S. (1999) Lectures in Differential Geometry, Vol. 1 of Series on University Mathematics. World Scientific, Singapore.

Top